Def CategoryTheory.Iso.compInverseIso

Modification history