Proofgold Proposition

type
prop

theory
HotG

name
CSNo_Complex_i

proof
PUQvq..

Megalodon
CSNo_Complex_i

proofgold address
TMVcS..^{CSNo_Complex_i}

creator
28444 PrQUS../fcf67..

owner
28444 PrQUS../fcf67..

term root
c1ad3..