OAI/Probability/SphericalField/Fields/
113 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- BoundedPressure.lean 10 declarations
- BoundedUniform.lean 1 declarations
- CoupledDual.lean 10 declarations
- DepthUniform.lean 4 declarations
- FiniteModels.lean 11 declarations
- GridGap.lean 4 declarations
- HeightCost.lean 8 declarations
- HeightPartition.lean 9 declarations
- HeightWord.lean 9 declarations
- Rounding.lean 6 declarations
- Transport.lean 5 declarations
- UniformGrid.lean 16 declarations
- Words.lean 20 declarations