Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
tab_neg_ex_i

proofgold address
TMY3A..^tab_neg_ex_i

creator
1446 PrGxv../de2d6..

owner
1446 PrGxv../de2d6..

term root
e18cd..