intervals): some interval lemmas (#942)

Commit

6 years ago

feat(data/set/intervals): some interval lemmas (#942) * feat(data/set/intervals): a few more lemmas * one-liners

References

Author

kim-em

Committer

mergify[bot]

Parents