Theorem BialgEquiv.toHopfAlgIso_trans

Modification history