Proofgold Proposition

∀ x0 . x0 ∈ octonion ⟶ minus_OSNo x0 ∈ octonion

type
prop

theory
HotG

name
octonion_minus_OSNo

proof
PUcEg..

Megalodon
octonion_minus_OSNo

proofgold address
TMFjd..^{octonion_minus_OSNo}

creator
28531 PrQUS../bc411..

owner
28531 PrQUS../bc411..

term root
5ae75..