Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for David A. Wheeler
Identities for "if"
Next ⟩
ifnmfalse
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 20.46.6. Identities for "if"
Utility theorems for "if".
ifnmfalse