intervals): add lemmas (#15608)

Commit

3 years ago

feat(data/set/intervals): add lemmas (#15608) From sphere eversion project Co-authored-by: Floris van Doorn <fpvdoorn@gmail.com>

Author

urkud

Parents