Def CategoryTheory.Limits.isLimitConeOfCoconeLeftOp

Modification history