Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-01 10:05 a7cdab5d

View on Github →

chore(data/set/basic): simp attribute on mem_range_self (#3260)

Estimated changes

modified theorem set.mem_range_self