Proofgold Term Root Disambiguation

HSNo_proj0 Quaternion_k = 0

as obj
-

as prop
8baec..^HSNo_p0_k

theory
HotG

stx
43801..

address
TMKHq..^HSNo_p0_k