Proofgold Term Root Disambiguation

wceq c1o (csuc c0)

as obj
-

as prop
d7763..

theory
SetMM

stx
9e953..

address
TMMMh..