Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pmf.monad_seq_eq_seq

Modification history