Theorem quadraticChar_sq_one'

Modification history