Commit 2021-09-14 10:41 7deb32cb
View on Github →chore(data/fintype/intervals): finiteness of Ioo
, Ioc
, and Icc
over ℕ
(#9096)
We already have the analogous lemmas and instance for ℤ
.
chore(data/fintype/intervals): finiteness of Ioo
, Ioc
, and Icc
over ℕ
(#9096)
We already have the analogous lemmas and instance for ℤ
.