Theorem BialgEquiv.toBialgHom_eq_coe

Modification history