Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
tab_If_i_lhs

proofgold address
TMUxW..^tab_If_i_lhs

creator
1339 PrGxv../5575e..

owner
1339 PrGxv../5575e..

term root
73cb2..