Commit 2022-09-20 07:09 b76d2b40
View on Github →feat(measure_theory/measurable_space): add prod.measurable_singleton_class (#16559)
- golf
pi.measurable_singleton_class, rename frommeasurable_singleton_class.pi; - add
prod.measurable_singleton_class.