Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
tab_dec_i_i

proofgold address
TMVVV..^tab_dec_i_i

creator
1149 PrGxv../aa93d..

owner
1149 PrGxv../aa93d..

term root
585f4..