Search for blocks/addresses/...

Proofgold Proposition

explicit_Complex complex CSNo_Re CSNo_Im 0 1 Complex_i add_CSNo mul_CSNo
type
prop
theory
HotG
name
-
proof
PUNr2..
Megalodon
-
proofgold address
TMTLQ..
creator
12547 PrGxv../30d27..
owner
12547 PrGxv../30d27..
term root
5a43b..