Metamath Proof Explorer


Table of Contents - 20.45.6. Identities for "if"

Utility theorems for "if".

  1. ifnmfalse