Proofgold Proposition

type
prop

theory
HotG

name
nat_5

proof
PUTEc..

Megalodon
nat_5

proofgold address
TMFj5..^nat_5

creator
4947 Pr6Pc../238aa..

owner
4947 Pr6Pc../238aa..

term root
1a247..