Proofgold Proposition

2 = UPair 0 1

type
prop

theory
HotG

name
eq_2_UPair01

proof
PUMB7..

Megalodon
eq_2_UPair01

proofgold address
TMd33..^eq_2_UPair01

creator
4898 Pr6Pc../27c67..

owner
4898 Pr6Pc../27c67..

term root
da800..