Def BialgEquivClass.toBialgEquiv

Modification history