Proofgold Term Root Disambiguation

as obj
-

as prop
0b796..^{Octonion_i0_i5}

theory
HotG

stx
8dbba..

address
TMJ7e..^{Octonion_i0_i5}