Theorem ProbabilityTheory.HasLaw.hasGaussianLaw

Modification history

2026-01-26 14:59

Mathlib/Probability/Distributions/Gaussian/HasGaussianLaw/Basic.lean

feat: add a predicate HasGaussianLaw (#32144) …

Added ProbabilityTheory.HasLaw.hasGaussianLaw View on Github →