Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-18 00:45 76a4b157

View on Github →

feat(data/set/basic): make subtype_val_range a simp lemma (#524)

Estimated changes

modified theorem set.subtype_val_range