Def CategoryTheory.mateEquiv

Modification history