Proofgold Proposition

∀ x0 . x0 ∈ quaternion ⟶ HSNo_proj1 x0 ∈ complex

type
prop

theory
HotG

name
quaternion_p1_complex

proof
PUcEg..

Megalodon
quaternion_p1_complex

proofgold address
TMKnr..^{quaternion_p1_complex}

creator
28531 PrQUS../c8e2b..

owner
28531 PrQUS../c8e2b..

term root
ac15b..