Theorem VectorFourier.fourierPowSMulRight_apply

Modification history