Proofgold Proposition

type
prop

theory
HotG

name
complex_0

proof
PURry..

Megalodon
complex_0

proofgold address
TMQaq..^complex_0

creator
28463 PrQUS../9678a..

owner
28463 PrQUS../9678a..

term root
c4c56..