![[Apply tactics to a goal versus a hypotheses 01.png|609]] [Cheetsheet 01](https://leanprover-community.github.io/papers/lean-tactics.pdf) ![[Apply tactics to a goal versus a hypotheses 02.png|616]] [Cheatsheet - Mehta](https://b-mehta.github.io/formalising-mathematics-notes/Part_2/cheatsheet.html)