## 📚 2.2.3 Booleans [📝 foo](https://leannotes.wiki/LeanNotes+Home) ![[📚 2.2.3 Booleans]]