feat(data/set/basic): range_pair_subset (#8133)
feat(data/set/basic): range_pair_subset (#8133)

From LTE.

Co-authored-by: <32f9b1fcd0a495248bb312c163462b2098efe57d@free.fr>





leanprover-community/mathlib,leanprover-community/mathlib