Def CategoryTheory.conjugateEquiv

Modification history