Proofgold Term Root Disambiguation

wceq crrhat (cun cr (csn cinfty))

as obj
-

as prop
370ad..

theory
SetMM

stx
83470..

address
TMa2x..