Proofgold Term Root Disambiguation

wceq cofld (cin cfield corng)

as obj
-

as prop
95d4e..

theory
SetMM

stx
2af7b..

address
TMLog..