Proofgold Proposition

∀ x0 . x0 ∈ real ⟶ ∀ x1 . x1 ∈ real ⟶ add_CSNo x0 (mul_CSNo Complex_i x1) ∈ complex

type
prop

theory
HotG

name
-

proof
PUNr2..

Megalodon
-

proofgold address
TMErJ..

creator
12547 PrGxv../82909..

owner
12547 PrGxv../82909..

term root
dae74..