Def CategoryTheory.preservesColimitNatIso

Modification history