Theorem quadraticChar_dichotomy

Modification history