`OAI/Analysis/FourierLLogL/Edges/`

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

Files

Charge.lean 3 declarations
Extended.lean 12 declarations
Fringe.lean 30 declarations
Global.lean 4 declarations
Intervals.lean 11 declarations
Window.lean 7 declarations
Wire.lean 23 declarations