Theorem BialgEquiv.toBialgHom_injective

Modification history