Proofgold Proposition

nIn 2 1

type
prop

theory
HF

name
-

proof
PUTdW..

Megalodon
nIn_2_1

proofgold address
TMaQm..^nIn_2_1

creator
1473 PrGxv../275db..

owner
1473 PrGxv../275db..

term root
a8b4d..