Theorem measurable_from_prod_countable_left'

Modification history

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