Proofgold Term Root Disambiguation

Quaternion_j ∈ quaternion

as obj
-

as prop
539f9..^quaternion_j

theory
HotG

stx
dd055..

address
TMTQW..^quaternion_j