mathlib

5da754c9 - fix(tactic/solve_by_elim): parameter parsing (#1591)

fix(tactic/solve_by_elim): parameter parsing (#1591) * fix(tactic/solve_by_elim): parameter parsing * revert accidental commenting out * doc comments for solve_by_elim * fix build