Def CategoryTheory.Limits.Types.isLimitEquivSections

Modification history

2023-07-07 04:28
Mathlib/CategoryTheory/Limits/Types.lean
feat: using UnivLE in constructing limits in `Type` (#5724)
Deleted CategoryTheory.Limits.Types.isLimitEquivSectionsView on Github →
2023-04-27 08:42
Mathlib/CategoryTheory/Limits/Types.lean
chore: use TypeMax in CategoryTheory.Limits.Types (#3653) …
Modified CategoryTheory.Limits.Types.isLimitEquivSectionsView on Github →
2023-03-11 13:48
Mathlib/CategoryTheory/Limits/Types.lean
feat: port CategoryTheory.Limits.Types (#2712)
Added CategoryTheory.Limits.Types.isLimitEquivSectionsView on Github →