Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0complex∀ x1 : ο . (∀ x2 . x2real∀ x3 . x3realx0 = add_CSNo x2 (mul_CSNo Complex_i x3)x1)x1
type
prop
theory
HotG
name
-
proof
PUNr2..
Megalodon
-
proofgold address
TMYDh..
creator
12547 PrGxv../1304d..
owner
12547 PrGxv../1304d..
term root
03f29..