Proofgold Proposition

type
prop

theory
HotG

name
ordinal_1

proof
PUL8Q..

Megalodon
ordinal_1

proofgold address
TMLMk..^ordinal_1

creator
4882 Pr6Pc../f8d60..

owner
4882 Pr6Pc../f8d60..

term root
c94d4..