Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.Limits.Types.coneOfSection
Modification history
2025-04-02 15:28
Mathlib/CategoryTheory/Limits/Types.lean
chore(CategoryTheory/Limits): split Types.lean (#23346) …
Modified
CategoryTheory.Limits.Types.coneOfSection
View on Github →
2023-10-21 06:49
Mathlib/CategoryTheory/Limits/Types.lean
feat: universe generalizations in UniqueGluing and Forget (#7654) …
Added
CategoryTheory.Limits.Types.coneOfSection
View on Github →