Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ octonion ⟶ minus_OSNo x0 ∈ octonion

as obj
-

as prop
41d94..^{octonion_minus_OSNo}

theory
HotG

stx
dd055..

address
TMQD7..^{octonion_minus_OSNo}