Theorem BialgEquiv.coe_toCoalgEquiv

Modification history