Metamath Proof Explorer

Table of Contents - 21.50.6. Identities for "if"

Utility theorems for "if".

1. ifnmfalse