OAI/Probability/SphericalField/Sphere/
199 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- AmplitudeConvex.lean 19 declarations
- AmplitudeLimit.lean 14 declarations
- Bridge.lean 34 declarations
- ConvexUniform.lean 2 declarations
- EntropicParameter.lean 10 declarations
- FiniteUniform.lean 9 declarations
- Heat.lean 8 declarations
- Invariance.lean 6 declarations
- Limit.lean 8 declarations
- Polar.lean 19 declarations
- RadialBands.lean 9 declarations
- RadialDensity.lean 23 declarations
- Rotations.lean 21 declarations
- Shell.lean 13 declarations
- WeightedBands.lean 4 declarations