Theorem ProbabilityTheory.hasIndepIncrements_iff_nat

Modification history

2026-03-18 09:21
Mathlib/Probability/Independence/Process/HasIndepIncrements.lean
feat: processes with independent increments (#36718) …
Added ProbabilityTheory.hasIndepIncrements_iff_natView on Github →