Def BialgEquiv.toBialgIso

Modification history