Def CategoryTheory.Iso.compInvIso

Modification history