Commit 2020-03-10 15:29 668a98e7
View on Github →feat(measurable_space): is_measurable_supr lemma (#2092)
- feat(data/set/lattice): add @[simp] to lemmas
- feat(measurable_space): is_measurable_supr lemma
- fix proof
- fix proof
- fix proof
- oops
- fix proofs
- typo in doc string
- remove @[simp]