Proofgold Proposition

∀ x0 : ο . ∀ x1 x2 x3 . not (x3 = If_i x0 x1 x2) ⟶ (x0 ⟶ not (x3 = x1) ⟶ False) ⟶ (not x0 ⟶ not (x3 = x2) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
tab_If_i_rhs

proofgold address
TMSoz..^tab_If_i_rhs

creator
1339 PrGxv../209ac..

owner
1339 PrGxv../209ac..

term root
8c170..