OAI/Probability/PosteriorReplicas/Geometry/
130 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- AffineMoments.lean 5 declarations
- BallJacobian.lean 12 declarations
- BaseContinuity.lean 4 declarations
- BaseFunProp.lean 4 declarations
- BaseGeometry.lean 23 declarations
- DensityBinEnvelope.lean 9 declarations
- DensityBinsGeometry.lean 11 declarations
- FrameTubes.lean 8 declarations
- InverseMomentBins.lean 3 declarations
- LabelConvolution.lean 8 declarations
- LabelEllipsoids.lean 9 declarations
- SphereDensity.lean 5 declarations
- SphereSubspace.lean 15 declarations
- SphereTubeQuantitative.lean 4 declarations
- TupleMoments.lean 10 declarations