basic): 24 lemmas about membership of arithmetic operations (#6202)

Commit

4 years ago

feat(data/set/intervals/basic): 24 lemmas about membership of arithmetic operations (#6202)

Author

eric-wieser

Parents