`OAI/Analysis/FourierLLogL/Finite/`

213 declarations, 0 contain sorry, 0 declared as axioms; 10 files

Files

Alternative.lean 9 declarations
Comparison.lean 12 declarations
Complex.lean 13 declarations
Entropy.lean 43 declarations
Independent.lean 18 declarations
Law.lean 78 declarations
Mixture.lean 17 declarations
Quadratic.lean 5 declarations
Signal.lean 11 declarations
Tail.lean 7 declarations