Def CategoryTheory.Iso.invCompIso

Modification history