basic): replace `partial_order` by `preorder` (#18064)

Commit

2 years ago

feat(topology/order/basic): replace `partial_order` by `preorder` (#18064) It turns out nearly all `partial_order` hypotheses can be generalized to `preorder` in this file.

Author

alreadydone

Parents

8f9b933b

mathlib ed005a8c - feat(topology/order/basic): replace `partial_order` by `preorder` (#18064)

mathlib
ed005a8c - feat(topology/order/basic): replace `partial_order` by `preorder` (#18064)