Proofgold Proposition

type
prop

theory
HotG

name
nat_11

proof
PUVhm..

Megalodon
nat_11

proofgold address
TMGXm..^nat_11

creator
12595 PrGxv../1ca68..

owner
12595 PrGxv../1ca68..

term root
e07fa..