Theorem Real.fourierChar_apply'

Modification history