Proofgold Proposition

type
prop

theory
HotG

name
nat_14

proof
PUg4x..

Megalodon
nat_14

proofgold address
TMYBm..^nat_14

creator
15377 Pr4zB../dd598..

owner
15377 Pr4zB../dd598..

term root
de34d..