Def CategoryTheory.Limits.preservesColimitLeftOp

Modification history