Def CategoryTheory.Equivalence.funInvIdAssoc

Modification history