chore(order/complete_lattice): add `(supr|infi)_option_elim` (#9886)
chore(order/complete_lattice): add `(supr|infi)_option_elim` (#9886)

Motivated by `supr_option'` and `infi_option'` from `flypitch`.





leanprover-community/mathlib,leanprover-community/mathlib