Theorem BialgEquiv.toBialgIso_trans

Modification history