Def CategoryTheory.preservesLimitNatIso

Modification history