Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-22 21:32 7a918225

View on Github →

feat(data/fintype/intervals): Add set.finite lemmas for integer intervals (#6365)

Estimated changes

added theorem set.Icc_ℤ_finite
added theorem set.Ico_ℤ_finite
added theorem set.Ioc_ℤ_finite
added theorem set.Ioo_ℤ_finite