Theorem Real.fderiv_fourierChar_neg_bilinear_right_apply

Modification history