Proofgold Term Root Disambiguation

OSNo Octonion_i6

as obj
-

as prop
d0f58..^{OSNo_Octonion_i6}

theory
HotG

stx
5c6b2..

address
TMM3t..^{OSNo_Octonion_i6}