Commit 2026-02-03 22:49 4f661d7a

View on Github →

chore(Analysis/Distribution): simplify some proofs (#34522)

Estimated changes

Modified Mathlib/Analysis/Distribution/SchwartzSpace/Fourier.lean

modified theorem SchwartzMap.fourierInv_coe