Proofgold Proposition

type
prop

theory
HotG

name
complex_i

proof
PURry..

Megalodon
complex_i

proofgold address
TMaCq..^complex_i

creator
28463 PrQUS../619ab..

owner
28463 PrQUS../619ab..

term root
f45bb..