Theorem CategoryTheory.Iso.toHopfAlgEquiv_refl

Modification history