Theorem quadraticChar_sum_zero

Modification history