Theorem BialgEquiv.symm_toCoalgEquiv

Modification history