OAI/Probability/BinarySweep/GridBounds/
252 declarations, 0 contain sorry, 0 declared as axioms; 24 files
Files
- BalancedGrid.lean 2 declarations
- BoardLaw.lean 12 declarations
- BoardOverlap.lean 3 declarations
- BoardProduct.lean 2 declarations
- DenseAssembly.lean 5 declarations
- DenseClosing.lean 2 declarations
- DiagonalDimension.lean 14 declarations
- DiagonalRigidity.lean 13 declarations
- EmptyGrid.lean 10 declarations
- GridBoardAverage.lean 12 declarations
- GridChildAverage.lean 23 declarations
- GridDenseCost.lean 9 declarations
- GridLaw.lean 7 declarations
- GridProjectedMoment.lean 11 declarations
- GridSplit.lean 25 declarations
- GridSplitCost.lean 11 declarations
- GridSplitFree.lean 22 declarations
- GridSplitSweep.lean 11 declarations
- GridSplitWeights.lean 15 declarations
- GroupedLogBounds.lean 8 declarations
- GroupedMoments.lean 16 declarations
- GroupedTypes.lean 7 declarations
- GroupingGeometry.lean 7 declarations
- ProjectionSplitting.lean 5 declarations