[Merged by Bors] - refactor(Order/Basic): move Pi & Prop orders to a new file#40658

SnirBroshi wants to merge 6 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

SnirBroshi:chore/order/move-pi-and-prop-orders-earlierSnirBroshi/mathlib4:chore/order/move-pi-and-prop-orders-earlierCopy head branch name to clipboard