Def BialgEquiv.toBialgHom

Modification history