mathlib

e3fb88c8 - Eliminate the `lu` argument to `reorder_oper`.

Eliminate the `lu` argument to `reorder_oper`. There is no need to pass this into each level of recursion, and it makes the recursion a little clearer if we don't.