Proofgold Proposition

∀ x0 . x0 ∈ complex ⟶ HSNo_proj1 x0 = 0

type
prop

theory
HotG

name
complex_p1_eq

proof
PUcEg..

Megalodon
complex_p1_eq

proofgold address
TMdJH..^{complex_p1_eq}

creator
28531 PrQUS../ee764..

owner
28531 PrQUS../ee764..

term root
49873..