monad): speed up proof (#14519)

Commit

3 years ago

perf(measure_theory/probability_mass_function/monad): speed up proof (#14519) This causes a deterministic timeout in another PR.

Author

vihdzp

Parents