Skip to content

[Merged by Bors] - refactor(CategoryTheory/Limits/Preserves/Ulift): simplify the proof that the universe lifting functor for types preserves all colimits #2908

[Merged by Bors] - refactor(CategoryTheory/Limits/Preserves/Ulift): simplify the proof that the universe lifting functor for types preserves all colimits

[Merged by Bors] - refactor(CategoryTheory/Limits/Preserves/Ulift): simplify the proof that the universe lifting functor for types preserves all colimits #2908

Triggered via pull request January 6, 2025 09:02
Status Skipped
Total duration 3s
Artifacts
set_pr_emoji
0s
set_pr_emoji
Fit to window
Zoom out
Zoom in