Structure ProbabilityTheory.IdentDistrib

Modification history

2023-06-21 09:25

Mathlib/Probability/IdentDistrib.lean

feat: port Probability.IdentDistrib (#5331)

Added ProbabilityTheory.IdentDistrib View on Github →