Proofgold Term Root Disambiguation

as obj
-

as prop
27519..^{SNo_extend1_restr_eq}

theory
HotG

stx
2f9e1..

address
TMcUC..^{SNo_extend1_restr_eq}