Proofgold Proposition

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

type
prop

theory
HotG

name
complex_real_set_eq

proof
PUNr2..

Megalodon
complex_real_set_eq

proofgold address
TMEyM..^{complex_real_set_eq}

creator
12547 PrGxv../b781b..

owner
12547 PrGxv../b781b..

term root
94f6b..