Commit 2022-09-19 20:38 9824a558

View on Github →

feat(measure_theory/measurable_space): pi has measurable singletons (#16542) This generalises a result used for the birthday problem.

Estimated changes