Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PURTb..

Megalodon
neq_i_E

proofgold address
TMYYp..^neq_i_E

creator
1889 PrGxv../3e872..

owner
1889 PrGxv../3e872..

term root
33065..