Def BialgEquiv.toHopfAlgIso

Modification history