Def CategoryTheory.preservesLimitIso

Modification history