mathlib3

ad53e0b7 - feat(tactic/solve_by_elim): add accept parameter to prune tree search (#2245)

feat(tactic/solve_by_elim): add accept parameter to prune tree search (#2245) * chore(tactic/solve_by_elim): cleanup * cleanup * what happened to my commit? * fix * fix * fixed? * Tweak comments * feat(tactic/solve_by_elim): add accept parameter to prune tree search * when called with empty lemmas, use the same default set as the interactive tactic * stop cheating with [] ~ none * indenting * various * various * docstring * fix docstrings * more docs * docs * fix doc-strings * improve documentation of accept, and add doc-string * improve docs * try again with documentation * clarify when accept runs * Update src/tactic/solve_by_elim.lean Co-Authored-By: Rob Lewis <Rob.y.lewis@gmail.com> * Update src/tactic/solve_by_elim.lean * Update src/tactic/solve_by_elim.lean Co-authored-by: Rob Lewis <Rob.y.lewis@gmail.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>