Proofgold Term Root Disambiguation

HSNo_pair 0 (minus_HSNo Complex_i)

as obj
f0f0f..^Octonion_i3

as prop
-

theory
HotG

stx
5c6b2..

address
TMVqY..^Octonion_i3