Proofgold Proposition

∀ x0 x1 x2 . In x2 (UPair x0 x1) ⟶ (x2 = x0 ⟶ False) ⟶ (x2 = x1 ⟶ False) ⟶ False

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
tab_pos_UPair

proofgold address
TMLm7..^{tab_pos_UPair}

creator
1339 PrGxv../f95da..

owner
1339 PrGxv../f95da..

term root
b26d9..