Proofgold Proposition

∀ x0 . x0 ∈ octonion ⟶ OSNo_proj1 x0 ∈ quaternion

type
prop

theory
HotG

name
octonion_p1_quaternion

proof
PUcEg..

Megalodon
octonion_p1_quaternion

proofgold address
TMLtz..^{octonion_p1_quaternion}

creator
28531 PrQUS../f8c9e..

owner
28531 PrQUS../f8c9e..

term root
de6ec..