Def BialgEquiv.toEquiv

Modification history