Proofgold Proposition

∀ x0 . x0 ∈ octonion ⟶ ∀ x1 . x1 ∈ octonion ⟶ add_OSNo x0 x1 ∈ octonion

type
prop

theory
HotG

name
octonion_add_OSNo

proof
PUcEg..

Megalodon
octonion_add_OSNo

proofgold address
TMQLv..^{octonion_add_OSNo}

creator
28531 PrQUS../3b2f7..

owner
28531 PrQUS../3b2f7..

term root
8e6d6..