Theorem Real.fourierChar_apply

Modification history