Revision #1493 → #1780 · back to history
addedCountable additivity of disjoint events (intro)7825e08d6dac
addedσ-algebra contains the sample space382217821f09
addedσ-algebra closed under complements5b04d3fb6a7b
addedσ-algebra closed under countable unions7526c5ba43fa
addedCountable additivity of P28033c7987ad
addedTotal mass equals one4d46a52557f2
addedCarathéodory extension theorem9074a2605d26
addedStandard probability spaces82a7891c205a
modifiedBorel σ-algebra for uncountable Ωeaeca2c841d7
| Field | From #1493 | To #1780 |
|---|
| mathlib.decl | MeasureTheory.borel | borel |
addedIndependent σ-algebras5656af2937a8