Proofgold Term Root Disambiguation

OSNo_proj0 Octonion_i5 = 0

as obj
-

as prop
c4b46..^OSNo_p0_i5

theory
HotG

stx
5c6b2..

address
TMXx8..^OSNo_p0_i5