interval): finite intervals of naturals (#9507)

Commit

4 years ago

feat(data/nat/interval): finite intervals of naturals (#9507) This proves that `ℕ` is a `locally_finite_order`.

Author

YaelDillies

Parents