Def CategoryTheory.Equivalence.adjointifyη

Modification history