Proofgold Proposition

∀ x0 . x0 ∈ octonion ⟶ OSNo x0

type
prop

theory
HotG

name
octonion_OSNo

proof
PUcEg..

Megalodon
octonion_OSNo

proofgold address
TMSfj..^{octonion_OSNo}

creator
28531 PrQUS../1f247..

owner
28531 PrQUS../1f247..

term root
9d2e4..