# Commit 2023-03-10 09:55 4ac69b29

View on Github →feat(probability/probability_mass_function): basic lawful monad lemmas for `pmf`

. (#18469)
This file adds basic lemmas for monadic operations on `pmf`

, mirroring the lemmas for `is_lawful_monad`

.

feat(probability/probability_mass_function): basic lawful monad lemmas for `pmf`

. (#18469)
This file adds basic lemmas for monadic operations on `pmf`

, mirroring the lemmas for `is_lawful_monad`

.