Theorem quadraticChar_zero

Modification history