Proofgold Proposition

∀ x0 x1 x2 . nIn x2 (UPair x0 x1) ⟶ (not (x2 = x0) ⟶ not (x2 = x1) ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
tab_neg_UPair

proofgold address
TMMPL..^{tab_neg_UPair}

creator
1339 PrGxv../cbacd..

owner
1339 PrGxv../cbacd..

term root
8fe99..