Commit 2023-05-04 11:23 9fe72187

View on Github →

chore: forward-port leanprover-community/mathlib#18876 (#3753)

Estimated changes

Modified Mathlib/Data/Set/Intervals/Basic.lean

modified theorem Set.not_mem_Icc_of_gt

modified theorem Set.not_mem_Icc_of_lt

modified theorem Set.not_mem_Ico_of_ge

modified theorem Set.not_mem_Ico_of_lt

modified theorem Set.not_mem_Iio_self

modified theorem Set.not_mem_Ioc_of_gt

modified theorem Set.not_mem_Ioc_of_le

modified theorem Set.not_mem_Ioi_self

modified theorem Set.not_mem_Ioo_of_ge

modified theorem Set.not_mem_Ioo_of_le