Proofgold Term Root Disambiguation

as obj
-

as prop
c6b1a..^{sqrt_SNo_nonneg_0}

theory
HotG

stx
8fb89..

address
TMTWU..^{sqrt_SNo_nonneg_0}