monotone): add some monotonicity lemmas (#14896)

Commit

3 years ago

feat(set/intervals/monotone): add some monotonicity lemmas (#14896) Co-authored-by: Eric Wieser <wieser.eric@gmail.com>

Author

kex-y

Parents