Proofgold Proposition

type
prop

theory
HotG

name
complex_0

proof
PUNr2..

Megalodon
complex_0

proofgold address
TMMuU..^complex_0

creator
12547 PrGxv../f7b0c..

owner
12547 PrGxv../f7b0c..

term root
f34ad..