Proofgold Proposition

type
prop

theory
HotG

name
nat_0

proof
PUL8Q..

Megalodon
nat_0

proofgold address
TMMYb..^nat_0

creator
4882 Pr6Pc../0f43a..

owner
4882 Pr6Pc../0f43a..

term root
1617b..