Mathlib v3 is deprecated. Go to Mathlib v4

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 .

Estimated changes