Proofgold Term Root Disambiguation

OSNo_proj1 Octonion_i0 = 1

as obj
-

as prop
17a56..^OSNo_p1_i0

theory
HotG

stx
5c6b2..

address
TMMVG..^OSNo_p1_i0