Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-30 13:51 9c03c035

View on Github →

feat(data/set/basic): range_pair_subset (#8133) From LTE.

Estimated changes

Modified src/data/set/basic.lean

added theorem set.range_pair_subset