Proofgold Term Root Disambiguation

Quaternion_k ∈ quaternion

as obj
-

as prop
57d22..^quaternion_k

theory
HotG

stx
dd055..

address
TMPby..^quaternion_k