Theorem Real.fourierChar_ne_one

Modification history