Update lean-tactics.md