Def CategoryTheory.Limits.isColimitConeOp

Modification history