Proofgold Proposition

nIn 0 0

type
prop

theory
HotG

name
nIn_0_0

proof
PUfQZ..

Megalodon
nIn_0_0

proofgold address
TMSwD..^nIn_0_0

creator
4898 Pr6Pc../52027..

owner
4898 Pr6Pc../52027..

term root
09a09..