Theorem BialgEquiv.coe_toBialgHom

Modification history