Def CategoryTheory.Limits.coneOfCoconeLeftOp

Modification history