Proofgold Term Root Disambiguation

1 ∈ quaternion

as obj
-

as prop
f8553..^quaternion_1

theory
HotG

stx
dd055..

address
TMPhG..^quaternion_1