Search for blocks/addresses/...
Proofgold Proposition
mul_CSNo
Complex_i
Complex_i
=
minus_CSNo
1
type
prop
theory
HotG
name
-
proof
PUNr2..
Megalodon
Complex_i_sqr
proofgold address
TMMxw..
Complex_i_sqr
creator
12547
PrGxv..
/
83822..
owner
12547
PrGxv..
/
83822..
term root
57960..