Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . CSNo x0∀ x1 . SNo x1mul_SNo (add_SNo (mul_SNo (CSNo_Re x0) (CSNo_Re x0)) (mul_SNo (CSNo_Im x0) (CSNo_Im x0))) x1 = 1mul_CSNo x0 (add_CSNo (mul_CSNo x1 (CSNo_Re x0)) (minus_CSNo (mul_CSNo Complex_i (mul_CSNo x1 (CSNo_Im x0))))) = 1
type
prop
theory
HotG
name
-
proof
PUNr2..
Megalodon
CSNo_relative_recip
proofgold address
TMKar..CSNo_relative_recip
creator
12547 PrGxv../b8553..
owner
12547 PrGxv../b8553..
term root
6e4ff..