Commit 2025-04-13 03:02 ba2dc5b3

View on Github →

feat(Topology/Order): generalize lemmas (#23984) Generalizes OrderIso.continuous, OrderIso.toHomeomorph to assume only Preorder instead of PartialOrder

Estimated changes