intervals): finiteness of `Ioo`, `Ioc`, and `Icc` over `ℕ` (#9096)

Commit

4 years ago

chore(data/fintype/intervals): finiteness of `Ioo`, `Ioc`, and `Icc` over `ℕ` (#9096) We already have the analogous lemmas and instance for `ℤ`.

Author

FrickHazard

Parents