Proofgold Term Root Disambiguation

∀ x0 . OSNo x0 ⟶ ExtendedSNoElt_ 5 x0

as obj
-

as prop
8a0ec..^{OSNo_ExtendedSNoElt_5}

theory
HotG

stx
5c6b2..

address
TMYdW..^{OSNo_ExtendedSNoElt_5}