## Tactics - Table of Contents - [[apply-at-tactic]], [[Tactics/apply-tactic]] - [[assumption-tactic]], [[assumption-loop-tactic]] - [[Tactics/by_contra-tactic|by_contra-tactic]] - [[clear-tactic]] - [[Tactics/exact-tactic|exact-tactic]] - [[Tactics/intro-tactic|intro-tactic]] - [[rename'-tactic]] --- **`LeanNotes curator:`** [[dducoff]] **`Posted Date`**: 2026-08-15