- Proofs - Tautologies ## Fundamentals - Table of Contents - [[Law of Identity]] --- **`LeanNotes curator:`** [[dducoff]] **`Posted Date`**: 2026-08-15