Proofgold Term Root Disambiguation

OSNo_proj0 Quaternion_j = Quaternion_j

as obj
-

as prop
a6702..^OSNo_p0_j

theory
HotG

stx
5c6b2..

address
TMcQd..^OSNo_p0_j