Theorem BialgEquiv.toEquiv_inj

Modification history