interval): Finite intervals in ℤ (#9526)

Commit

4 years ago

feat(data/int/interval): Finite intervals in ℤ (#9526) This proves that `ℤ` is a locally finite order.

Author

YaelDillies

Parents