mathlib
ad5a81d3 - chore(measure_theory/measure_space): add some `simp`/`mono` tags (#6221)

Commit

4 years ago

chore(measure_theory/measure_space): add some `simp`/`mono` tags (#6221)

Author

urkud

urkud

Parents

Loading