`OAI/Analysis/FourierLLogL/Capture/`

99 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Files

Append.lean 5 declarations
Book.lean 13 declarations
Criterion.lean 22 declarations
Curve.lean 14 declarations
Dual.lean 12 declarations
Flex.lean 9 declarations
Mask.lean 8 declarations
MaskKernel.lean 16 declarations