Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
UPairE

proofgold address
TMNri..^UPairE

creator
1339 PrGxv../d0a1f..

owner
1339 PrGxv../d0a1f..

term root
0d3ad..