Def CategoryTheory.Limits.Types.sectionOfCone

Modification history

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