mathlib3

367714d6 - fix(tactic/solve_by_elim): apply_assumption argument parsing (#15394)

fix(tactic/solve_by_elim): apply_assumption argument parsing (#15394) The optional list of expressions to `apply_assumption` should be parsed interactively. This fixes a bug where `none` would have to be provided before a config object. Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>