Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.range_one

Modification history

2018-12-05 08:42
data/finset.lean
fix(finset): removing bad simp lemmas (#491)
Added finset.range_oneView on Github →