Def CategoryTheory.Limits.IsLimit.extendIso

Modification history

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