Proofgold Proposition

∀ x0 x1 . UPair x0 x1 = UPair x1 x0

type
prop

theory
HotG

name
UPair_com

proof
PUL8Q..

Megalodon
UPair_com

proofgold address
TMVjM..^UPair_com

creator
4882 Pr6Pc../aa926..

owner
4882 Pr6Pc../aa926..

term root
b0847..