`OAI/Analysis/FourierLLogL/Fourier/`

187 declarations, 0 contain sorry, 0 declared as axioms; 11 files

Files

Affine.lean 16 declarations
Coordinates.lean 25 declarations
Dirichlet.lean 16 declarations
Endpoint.lean 15 declarations
Good.lean 5 declarations
Haar.lean 37 declarations
Interval.lean 10 declarations
Kappa.lean 30 declarations
Kernel.lean 9 declarations
Scale.lean 18 declarations
Translate.lean 6 declarations