Proofgold Proposition

add_SNo 2 2 = 4

type
prop

theory
HotG

name
-

proof
PUgbS..

Megalodon
-

proofgold address
TMKzk..

creator
28273 Pr5Zc../6dae8..

owner
28273 Pr5Zc../6dae8..

term root
a0e16..