Def CategoryTheory.categoryIsoSimp

Modification history