Def CategoryTheory.Iso.inverseCompIso

Modification history