mathlib3
2ba930eb - chore(measure_theory/borel_space): add some `simp` attrs (#5075)

Commit

5 years ago

chore(measure_theory/borel_space): add some `simp` attrs (#5075)

Author

urkud

urkud

Parents

Loading