# References [apply-tactic - Metha](https://b-mehta.github.io/formalising-mathematics-notes/Part_2/tactics/apply.html#:~:text=apply,-%EF%83%81) <iframe src="https://b-mehta.github.io/formalising-mathematics-notes/Part_2/tactics/apply.html#:~:text=apply,-%EF%83%81" width="100%" height="500px"></iframe> # Noteworthy Lean Note usages