Commit 2026-02-03 23:50 c04d725f

View on Github →

chore(Order/Interval/Finset): make simp stronger (#34807) and deprecate a wrong lemma name. From ProofBench

Estimated changes

modified theorem Set.finite_Icc
modified theorem Set.finite_Ici
modified theorem Set.finite_Ico
modified theorem Set.finite_Iic
modified theorem Set.finite_Iio
modified theorem Set.finite_Ioc
modified theorem Set.finite_Ioi
modified theorem Set.finite_Ioo
deleted theorem Set.finite_interval
added theorem Set.finite_uIcc