Def CategoryTheory.Limits.preservesFiniteColimitsLeftOp

Modification history