mathlib3
feb165c9 - chore(probability_mass_function/monad): Use standard `Union` notation (#18154)

Commit

3 years ago

chore(probability_mass_function/monad): Use standard `Union` notation (#18154) Use `Union` instead of `set_of` in `support` of `bind` operations.

Author

dtumad

Parents