Def CategoryTheory.createsLimitsOfShapeOfNatIso

Modification history