Revision #2335 → #2604 · back to history
modifiedDiscrete-time Markov chain (DTMC)1ef4f816817f
| Field | From #2335 | To #2604 |
|---|
| mathlib.decl | ProbabilityTheory.trajMeasure | ProbabilityTheory.Kernel.trajMeasure |
| provenance | ai | ai-moderated |
modifiedMarkov property (discrete-time)9005f80fc045
| Field | From #2335 | To #2604 |
|---|
| mathlib.decl | ProbabilityTheory.condDistrib_trajMeasure | ProbabilityTheory.Kernel.condDistrib_trajMeasure |
| provenance | ai | ai-moderated |
modifiedDiscrete-time Markov chainfbd823d7be75
| Field | From #2335 | To #2604 |
|---|
| mathlib.decl | ProbabilityTheory.trajMeasure | ProbabilityTheory.Kernel.trajMeasure |
| provenance | ai | ai-moderated |
modifiedTime-homogeneous Markov chainbbabb48990b1
| Field | From #2335 | To #2604 |
|---|
| mathlib.decl | ProbabilityTheory.traj | ProbabilityTheory.Kernel.traj |
| provenance | ai | ai-moderated |