Theorem ContDiff.fourierPowSMulRight

Modification history