Metamath Proof Explorer

Table of Contents - 1.2.15.3. The true constant

1. wtru
2. trujust
3. df-tru
4. tru
5. dftru2
6. trut
7. mptru
8. tbtru
9. bitru
10. trud
11. truan