Theorem quadraticCharFun_mul

Modification history