Theorem finset.exists_nat_subset_upto
Modification history
2017-10-15 01:58
data/finset/basic.lean
feat(*): working on list/basic, robusting simp proofs
Deleted finset.exists_nat_subset_uptoView on Github →2017-09-21 13:22
data/finset/basic.lean
feat(topology/lebesgue_measure): add Lebesgue outer measure; show that the lower half open interval is measurable
Added finset.exists_nat_subset_uptoView on Github →