Theorem BialgEquiv.toBialgIso_refl

Modification history