Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ CSNo_Re x0 ∈ real

type
prop

theory
HotG

name
complex_Re_real

proof
PURry..

Megalodon
complex_Re_real

proofgold address
TMXio..^{complex_Re_real}

creator
28463 PrQUS../2b121..

owner
28463 PrQUS../2b121..

term root
9febf..