Proofgold Proposition

type
prop

theory
HotG

name
Complex_i_sqr

proof
PUQvq..

Megalodon
Complex_i_sqr

proofgold address
TMWZ1..^{Complex_i_sqr}

creator
28444 PrQUS../c636c..

owner
28444 PrQUS../c636c..

term root
665bc..