Proofgold Proposition

2 = UPair 0 1

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
eq_2_UPair01

proofgold address
TMSB6..^eq_2_UPair01

creator
1473 PrGxv../77fe3..

owner
1473 PrGxv../77fe3..

term root
2da00..