mathlib

9bb28972 - chore(set_theory/cardinal/basic): reinstate `partial_order` (#18781)

chore(set_theory/cardinal/basic): reinstate `partial_order` (#18781) This change from #18714 was causing computability issues in Lean 4. Co-authored-by: Eric Wieser <wieser.eric@gmail.com>