Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
tab_dec_i

proofgold address
TMJsy..^tab_dec_i

creator
1149 PrGxv../8aa59..

owner
1149 PrGxv../8aa59..

term root
08e07..