Proofgold Term Root Disambiguation

HSNo_proj1 Quaternion_k = Complex_i

as obj
-

as prop
575ab..^HSNo_p1_k

theory
HotG

stx
43801..

address
TMPLU..^HSNo_p1_k