Proofgold Proposition

∀ x0 x1 : ο . not (x0 ⟶ x1) ⟶ (x0 ⟶ not x1 ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUUci..

Megalodon
tab_neg_imp

proofgold address
TMMcH..^tab_neg_imp

creator
1149 PrGxv../14449..

owner
1149 PrGxv../14449..

term root
40d48..