Proofgold Term Root Disambiguation

OSNo Octonion_i0

as obj
-

as prop
45658..^{OSNo_Octonion_i0}

theory
HotG

stx
5c6b2..

address
TMasj..^{OSNo_Octonion_i0}