Proofgold Proposition

∀ x0 x1 . x0 ∈ UPair x0 x1

type
prop

theory
HotG

name
UPairI1

proof
PUL8Q..

Megalodon
UPairI1

proofgold address
TMd3c..^UPairI1

creator
4882 Pr6Pc../3ba9a..

owner
4882 Pr6Pc../3ba9a..

term root
b1eea..