Def CategoryTheory.createsColimitsOfNatIso

Modification history