Theorem VectorFourier.norm_iteratedFDeriv_fourierPowSMulRight

Modification history