Proofgold Proposition

∀ x0 x1 . x1 ∈ UPair x0 x1

type
prop

theory
HotG

name
UPairI2

proof
PUL8Q..

Megalodon
UPairI2

proofgold address
TMTrs..^UPairI2

creator
4882 Pr6Pc../67823..

owner
4882 Pr6Pc../67823..

term root
27455..