Theorem finset.measurable_prod'
Modification history
2022-01-08 15:04
src/measure_theory/group/arithmetic.lean
chore(measure_theory/group/arithmetic): use implicit argument for measurable_space (#11205) …
Modified finset.measurable_prod'View on Github →