Proofgold Proposition

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

type
prop

theory
HotG

name
UPairE

proof
PUL8Q..

Megalodon
UPairE

proofgold address
TMZok..^UPairE

creator
4882 Pr6Pc../f548c..

owner
4882 Pr6Pc../f548c..

term root
5009c..