Trough

Probability Theory

Initializing search

Home
Mathematics

Trough

Home
Mathematics
Mathematics
- Trough
  Trough
  - Mathlib
    
    Mathlib
    
    Mathlib overview
    
    Mathlib overview
    
    General algebra
    
    Linear algebra
    
    Topology
    
    Analysis
    
    Probability Theory
    
    Probability Theory
    
    Definitions in probability theory
    
    Random variables and their laws
    
    Convergence of a sequence of random variables
    
    Stochastic Processes
    
    Geometry
    
    Combinatorics
    
    Dynamics
    
    Data structures
    
    Logic and computation
    
    Undergraduate mathematics
    
    Freek Wiedijk's 100 theorems
    
    1000+ theorems
  - Tau Ceti
  - Fermat's Last Theorem (Imperial)
  - PNT+
  - Polynomial Freiman-Ruzsa
  - Equational Theories
  - Strong PNT (Math Inc)
  - Formal Conjectures
  - Fermat's Last Theorem (Anthropic)
  - Classification of Finite Simple Groups (Axiom)
  - Lean Pool
  - Formal Frontier
  - Coverage
  - Sources

Home
Trough
Mathlib
Mathlib overview
Probability Theory

Loading the map…

← Probability Theory

Probability Theory

Definitions in probability theory
Random variables and their laws
Convergence of a sequence of random variables
Stochastic Processes

Loading dependency explorer…

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.

Developed with AutoformBot. Formalization source. Articles written for Trough are available under CC BY-SA 4.0; Mathlib's docstrings and signatures under Apache-2.0.