Theorem measurable_from_prod_countable_right

Modification history

2025-08-28 12:31
Mathlib/MeasureTheory/MeasurableSpace/Constructions.lean
feat: `measurable_from_prod_countable_right` (#28547)
Added measurable_from_prod_countable_rightView on Github →