Theorem Real.contDiff_fourier

Modification history

2025-11-18 20:14

Mathlib/Analysis/Fourier/FourierTransformDeriv.lean

chore(Analysis/Fourier): rename theorems (#31687)

Added Real.contDiff_fourier View on Github →