Def CategoryTheory.Iso.isoCompInverse

Modification history