Def CategoryTheory.Limits.preservesFiniteColimitsOfNatIso

Modification history