Commit 2019-08-16 00:19 397c0169

feat(tactic/finish): parse ematch lemmas with finish using ... (#1326)

feat(tactic/finish): parse ematch lemmas with finish using ... Add test Add documentation
Add docstrings
Formatting and docstrings
Clean up test
Add even more docstrings clean up match expressions Fix typo

added def append1

added theorem hd_rev

added theorem log_mul'

added def rev