Proofgold Proposition

∀ x0 . x0 ∈ octonion ⟶ conj_OSNo x0 ∈ octonion

type
prop

theory
HotG

name
octonion_conj_OSNo

proof
PUcEg..

Megalodon
octonion_conj_OSNo

proofgold address
TMKg1..^{octonion_conj_OSNo}

creator
28531 PrQUS../41e0c..

owner
28531 PrQUS../41e0c..

term root
b7a7a..