OAI/Probability/ProjectionMoments/
427 declarations, 0 contain sorry, 0 declared as axioms; 25 files
Files
- AllRadii.lean 5 declarations
- Asymptotics.lean 11 declarations
- BallMoments.lean 18 declarations
- BorelRules.lean 11 declarations
- CapDomination.lean 3 declarations
- CapDuality.lean 12 declarations
- CapTests.lean 13 declarations
- Caps.lean 12 declarations
- FrameMoments.lean 16 declarations
- Frames.lean 32 declarations
- GaussianDensity.lean 9 declarations
- Graph.lean 38 declarations
- Kernels.lean 8 declarations
- Main.lean 1 declarations
- Model.lean 90 declarations
- Polar.lean 24 declarations
- Realization.lean 22 declarations
- RieszPotential.lean 6 declarations
- Seeded.lean 15 declarations
- SphereDensity.lean 10 declarations
- SphereWeights.lean 8 declarations
- Stopping.lean 15 declarations
- StoppingKernel.lean 17 declarations
- Streaming.lean 11 declarations
- WeightedCover.lean 20 declarations