Proofgold Term Root Disambiguation

as obj
-

as prop
5aa0a..^{SNo_extend0_SNoLev}

theory
HotG

stx
fab7c..

address
TMLE3..^{SNo_extend0_SNoLev}