Theorem CategoryTheory.Iso.toHopfAlgEquiv_symm

Modification history