Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ HSNo_proj0 x0 = x0

type
prop

theory
HotG

name
complex_p0_eq

proof
PUcEg..

Megalodon
complex_p0_eq

proofgold address
TMYvK..^{complex_p0_eq}

creator
28531 PrQUS../32d5b..

owner
28531 PrQUS../32d5b..

term root
6a777..