Theorem CategoryTheory.Iso.toHopfAlgEquiv_trans

Modification history