Proofgold Proposition

∀ x0 x1 : ι → ι . not (x0 = x1) ⟶ (∀ x2 . not (x0 x2 = x1 x2) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
tab_pos_neqf_i_i

proofgold address
TMYeV..^{tab_pos_neqf_i_i}

creator
1149 PrGxv../cd14e..

owner
1149 PrGxv../cd14e..

term root
ac8ff..