Proofgold Term Root Disambiguation

Quaternion_k ∈ octonion

as obj
-

as prop
b1a0f..^octonion_k

theory
HotG

stx
dd055..

address
TMdhq..^octonion_k