Proofgold Term Root Disambiguation

Octonion_i5 ∈ octonion

as obj
-

as prop
269f6..^octonion_i5

theory
HotG

stx
dd055..

address
TMG1F..^octonion_i5