Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ octonion ⟶ conj_OSNo x0 ∈ octonion

as obj
-

as prop
d72ac..^{octonion_conj_OSNo}

theory
HotG

stx
dd055..

address
TMdxW..^{octonion_conj_OSNo}