Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.lt_inf

Modification history

2020-06-18 11:39
src/data/finset.lean
chore(data/finset): minor review (#3105)
Deleted finset.lt_infView on Github →
2018-11-09 10:22
data/finset.lean
feat(analysis): add emetric spaces
Added finset.lt_infView on Github →