Proofgold Proposition

∀ x0 . x0 ∈ octonion ⟶ OSNo_proj0 x0 ∈ quaternion

type
prop

theory
HotG

name
octonion_p0_quaternion

proof
PUcEg..

Megalodon
octonion_p0_quaternion

proofgold address
TMRqT..^{octonion_p0_quaternion}

creator
28531 PrQUS../c4bef..

owner
28531 PrQUS../c4bef..

term root
63ea3..