OAI/Probability/BinarySweep/SparseBounds/
108 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- CenteredLineMoment.lean 8 declarations
- CenteredMoment.lean 4 declarations
- CenteredPlacement.lean 23 declarations
- CenteredReindex.lean 4 declarations
- ConditionalCentered.lean 4 declarations
- FewSparse.lean 9 declarations
- FewSparseBases.lean 8 declarations
- FewSparseNumerics.lean 2 declarations
- ManySparse.lean 7 declarations
- SparseAmplitude.lean 10 declarations
- SparseKernel.lean 9 declarations
- SparseNumerics.lean 3 declarations
- SparseReduction.lean 12 declarations
- SparseSignGeometry.lean 5 declarations