Proofgold Term Root Disambiguation

CSNo_pair 0 Complex_i

as obj
3ae5b..^Quaternion_k

as prop
-

theory
HotG

stx
43801..

address
TMNzb..^Quaternion_k