`OAI/Probability/SphericalField/Gaussian/`

61 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

ExponentialNorm.lean 4 declarations
Fractional.lean 18 declarations
Integration.lean 9 declarations
Poincare.lean 1 declarations
Quadratic.lean 11 declarations
Rotations.lean 10 declarations
Taylor.lean 8 declarations