Theorem BialgEquiv.toHopfAlgIso_symm

Modification history