Def CategoryTheory.Limits.Types.limitConeIsLimit
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.limitConeIsLimitView on Github →