Theorem BialgEquiv.refl_toCoalgEquiv

Modification history