Theorem BialgEquiv.toAlgEquiv_eq_coe

Modification history