range): add range_add (#10706)

Commit

4 years ago

feat(data/{list, multiset, finset}/range): add range_add (#10706) Adds `range_add` lemmas

Author

BoltonBailey

Parents