Theorem BialgEquiv.toBialgIso_symm

Modification history