Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ CSNo_Re x0 ∈ real

type
prop

theory
HotG

name
complex_Re_real

proof
PUNr2..

Megalodon
complex_Re_real

proofgold address
TMWWk..^{complex_Re_real}

creator
12547 PrGxv../e36ce..

owner
12547 PrGxv../e36ce..

term root
53941..