Proofgold Proposition

∀ x0 x1 . Subq (UPair x0 x1) (UPair x1 x0)

type
prop

theory
HF

name
-

proof
PUZ3G..

Megalodon
-

proofgold address
TMcfY..

creator
1339 PrGxv../a8a4b..

owner
1339 PrGxv../a8a4b..

term root
0e0fb..