Proofgold Proposition

type
prop

theory
HotG

name
nat_10

proof
PUVhm..

Megalodon
nat_10

proofgold address
TMYhq..^nat_10

creator
12595 PrGxv../fcab9..

owner
12595 PrGxv../fcab9..

term root
18090..