Proofgold Term Root Disambiguation

wceq c0h (csn c0v)

as obj
-

as prop
6929d..

theory
SetMM

stx
337cc..

address
TMdQb..