mathlib3
feat(measure_theory/arithmetic): add instances on `subtype measurable`
#7833
Open
Open