Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-04-30 12:24 4367b192

View on Github →

feat(data/set/intervals/basic): generalize from linear_order to preorder (#18876) The lemma statements are unchanged, but the proofs are rewritten

Estimated changes

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_Ioc_of_gt
modified theorem set.not_mem_Ioc_of_le
modified theorem set.not_mem_Ioo_of_ge
modified theorem set.not_mem_Ioo_of_le