mathlib3
e2f411f1 - Update src/measure_theory/arithmetic.lean

Commit

4 years ago

Update src/measure_theory/arithmetic.lean

References

eric-wieser/measurable_subtype

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

Author

eric-wieser

eric-wieser

Parents

Loading