Def CategoryTheory.Limits.IsLimit.extendIsoEquiv

Modification history

2024-03-21 10:04
Mathlib/CategoryTheory/Limits/IsLimit.lean
feat: add API for extension of cones (#11560)
Added CategoryTheory.Limits.IsLimit.extendIsoEquivView on Github →