Theorem lattice.sub_le_sub
Modification history
2020-03-19 15:12
src/order/boolean_algebra.lean
refactor(*): drop `lattice` namespace (#2166) …
Deleted lattice.sub_le_subView on Github →2017-09-21 13:22
order/boolean_algebra.lean
feat(topology/lebesgue_measure): add Lebesgue outer measure; show that the lower half open interval is measurable
Added lattice.sub_le_subView on Github →