Def CategoryTheory.invCompIso

Modification history