Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0complexCSNo_Im x0real
type
prop
theory
HotG
name
complex_Im_real
proof
PURry..
Megalodon
complex_Im_real
proofgold address
TMbbY..complex_Im_real
creator
28463 PrQUS../c28f9..
owner
28463 PrQUS../c28f9..
term root
c46a9..