Theorem quadraticChar_odd_prime

Modification history