Def CategoryTheory.Limits.isColimitCoconeOfConeLeftOp

Modification history