`OAI/Analysis/FourierLLogL/Dyadic/`

231 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

Circle.lean 37 declarations
Discrete.lean 38 declarations
Grid.lean 56 declarations
Lift.lean 21 declarations
Node.lean 47 declarations
Snap.lean 18 declarations
Span.lean 14 declarations