Def CategoryTheory.Limits.isColimitCoconeOfConeRightOp

Modification history