Commit 2022-07-13 12:42 8d7f0012
View on Github →feat(measure_theory/pmf): lawful monad instance for probability mass function monad (#15066)
Provide is_lawful_functor and is_lawful_monad instances for pmf. Also switch the seq and map operations to the ones coming from the monad instance.