Theorem quadraticChar_one_iff_isSquare

Modification history