Theorem BialgEquiv.toCoalgEquiv_eq_coe

Modification history