Proofgold Term Root Disambiguation

OSNo_proj0 Quaternion_k = Quaternion_k

as obj
-

as prop
669c9..^OSNo_p0_k

theory
HotG

stx
5c6b2..

address
TMbVx..^OSNo_p0_k