Theorem BialgEquiv.toBialgHom_toAlgHom

Modification history