Proofgold Proposition

real = {x1 ∈ complex|CSNo_Re x1 = x1}

type
prop

theory
HotG

name
complex_real_set_eq

proof
PURry..

Megalodon
complex_real_set_eq

proofgold address
TMHYd..^{complex_real_set_eq}

creator
28463 PrQUS../3e046..

owner
28463 PrQUS../3e046..

term root
6d3ae..