Def CategoryTheory.Equivalence.asNatTrans

Modification history