Def CategoryTheory.Limits.IsLimit.ofExtendIso

Modification history

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