Proofgold Proposition

∀ x0 x1 . not (x0 = x1) ⟶ (not (x1 = x0) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
tab_neq_i_sym

proofgold address
TMapB..^{tab_neq_i_sym}

creator
1339 PrGxv../2f614..

owner
1339 PrGxv../2f614..

term root
5d21a..