Proofgold Term Root Disambiguation

HSNo Quaternion_j

as obj
-

as prop
4e668..^{HSNo_Quaternion_j}

theory
HotG

stx
43801..

address
TMQz5..^{HSNo_Quaternion_j}