Notation

📁 Source: Mathlib/Probability/Notation.lean

Statistics

Metric	Count
Definitions termℙ, «term_=ₐₛ_», «term__[_]», «term_≤ₐₛ_», «term_⟦_|_⟧», «term∂_/∂_», «term𝔼[_]», «term𝔼[_|_]»	8
Theorems	0
Total	8

ProbabilityTheory

Definitions

Name	Category	Theorems
termℙ 📖	CompOp	—
«term_=ₐₛ_» 📖	CompOp	—
«term__[_]» 📖	CompOp	—
«term_≤ₐₛ_» 📖	CompOp	—
«term_⟦_|_⟧» 📖	CompOp	—
«term∂_/∂_» 📖	CompOp	—
«term𝔼[_]» 📖	CompOp	—
«term𝔼[_|_]» 📖	CompOp	—

---

← Back to Index