`OAI/Probability/Subsphere/Regression/`

219 declarations, 0 contain sorry, 0 declared as axioms; 9 files

Files

Blocks.lean 25 declarations
Gaussian.lean 24 declarations
Geometry.lean 14 declarations
Gram.lean 30 declarations
Model.lean 19 declarations
Precision.lean 13 declarations
Projection.lean 33 declarations
Spheres.lean 31 declarations
Streaming.lean 30 declarations