Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ octonion ⟶ OSNo x0

as obj
-

as prop
7590f..^{octonion_OSNo}

theory
HotG

stx
dd055..

address
TMKKQ..^{octonion_OSNo}