mathlib
afa534cd - chore(tactic/show_term): use Try this: (#3374)

Commit

5 years ago

chore(tactic/show_term): use Try this: (#3374) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents