mathlib

5437b10a - feat(tactic/show_term): show_term { t } prints the term constructed by t (#2227)

feat(tactic/show_term): show_term { t } prints the term constructed by t (#2227) * feat(tactic): show_term { t } prints the term constructed by t * add to tactic.basic * move tests * silencing * Update src/tactic/show_term.lean Co-Authored-By: Gabriel Ebner <gebner@gebner.org> * clean up * remove tests * Update src/tactic/show_term.lean Co-Authored-By: Gabriel Ebner <gebner@gebner.org> Co-authored-by: Gabriel Ebner <gebner@gebner.org> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>