Proofgold Proposition

type
prop

theory
HotG

name
HSNo_Complex_i

proof
PUgzA..

Megalodon
HSNo_Complex_i

proofgold address
TMYYM..^{HSNo_Complex_i}

creator
28464 PrQUS../ef394..

owner
28464 PrQUS../ef394..

term root
1c252..