mathlib

d240f382 - feat(tactic/simp_result): tactics for simplifying the results of other tactics (#2356)

feat(tactic/simp_result): tactics for simplifying the results of other tactics (#2356) * feat(tactic/simp_result): tactics for simplifying the results of other tactics * word * better tests * order of arguments * Revert "order of arguments" This reverts commit 38cfec6867459fcc4c5ef2d41f5313a5b0466c53. * fix add_tactic_doc * slightly robustify testing * improve documentation Co-authored-by: Scott Morrison <scott.morrison@anu.edu.au> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>