Proofgold Term Root Disambiguation

HSNo Quaternion_k

as obj
-

as prop
7b6e4..^{HSNo_Quaternion_k}

theory
HotG

stx
43801..

address
TMJWy..^{HSNo_Quaternion_k}