Proofgold Term Root Disambiguation

Complex_i ∈ octonion

as obj
-

as prop
8de3f..^octonion_i

theory
HotG

stx
dd055..

address
TMXje..^octonion_i