Theorem BialgEquiv.invFun_eq_symm

Modification history