Theorem BialgEquiv.toBialgHom_inj

Modification history