Def

📁 Source: Mathlib/Probability/Distributions/Gaussian/IsGaussianProcess/Def.lean

Statistics

Metric	Count
Definitions IsGaussianProcess	1
Theorems hasGaussianLaw	1
Total	2

ProbabilityTheory

Definitions

Name	Category	Theorems
IsGaussianProcess 📖	CompData	—

ProbabilityTheory.IsGaussianProcess

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
hasGaussianLaw 📖	mathematical	ProbabilityTheory.IsGaussianProcess	ProbabilityTheory.HasGaussianLaw Pi.topologicalSpace Finset SetLike.instMembership Finset.instSetLike Pi.addCommMonoid Pi.Function.module Real Real.semiring MeasurableSpace.pi Finset.restrict	—	—

---

← Back to Index