Proofgold Proposition

type
prop

theory
HotG

name
nat_13

proof
PUg4x..

Megalodon
nat_13

proofgold address
TMU63..^nat_13

creator
15377 Pr4zB../0cbe3..

owner
15377 Pr4zB../0cbe3..

term root
a1a8f..