ordered): generalize two lemmas (#4177)

Commit

5 years ago

feat(topology/algebra/ordered): generalize two lemmas (#4177) they hold for conditionally complete linear orders, not just for complete linear orders

References

Author

fpvandoorn

Parents