Def CategoryTheory.Iso.toHopfAlgEquiv

Modification history