Proofgold Term Root Disambiguation

CSNo_pair 0 1

as obj
83443..^Quaternion_j

as prop
-

theory
HotG

stx
43801..

address
TMFYd..^Quaternion_j