Proofgold Term Root Disambiguation

OSNo_proj0 Octonion_i3 = 0

as obj
-

as prop
27f5a..^OSNo_p0_i3

theory
HotG

stx
5c6b2..

address
TMKxK..^OSNo_p0_i3