Proofgold Proposition

∀ x0 . x0 ∈ quaternion ⟶ HSNo_proj0 x0 ∈ complex

type
prop

theory
HotG

name
quaternion_p0_complex

proof
PUcEg..

Megalodon
quaternion_p0_complex

proofgold address
TMbmz..^{quaternion_p0_complex}

creator
28531 PrQUS../d80d3..

owner
28531 PrQUS../d80d3..

term root
a3df1..