Proofgold Term Root Disambiguation

Octonion_i6 ∈ octonion

as obj
-

as prop
70b59..^octonion_i6

theory
HotG

stx
dd055..

address
TMNAX..^octonion_i6