Proofgold Term Root Disambiguation

Quaternion_j ∈ octonion

as obj
-

as prop
72f25..^octonion_j

theory
HotG

stx
dd055..

address
TMSBT..^octonion_j