OAI/Combinatorics/BooleanFunctions/
372 declarations, 0 contain sorry, 0 declared as axioms; 21 files
Files
- Amplification.lean 14 declarations
- Blocks.lean 8 declarations
- CellDegree.lean 14 declarations
- Conditioning.lean 16 declarations
- FiniteCLT.lean 13 declarations
- FiniteMoments.lean 6 declarations
- GaussianGain.lean 56 declarations
- Grouping.lean 9 declarations
- Main.lean 2 declarations
- MomentTransfer.lean 25 declarations
- Observations.lean 14 declarations
- Producer.lean 3 declarations
- Projection.lean 10 declarations
- Readout.lean 17 declarations
- ReadoutCLT.lean 5 declarations
- Rounding.lean 24 declarations
- SmoothGaussian.lean 21 declarations
- SmoothSelector.lean 23 declarations
- SoftEvent.lean 12 declarations
- Switching.lean 17 declarations
- Walsh.lean 63 declarations