Theorem BialgEquiv.toCoalgEquiv_toCoalgHom

Modification history