Theorem quadraticChar_isQuadratic

Modification history