Proofgold Term Root Disambiguation

wceq clnr (crab (λ x0 . wcel (cfv (cv x0) crglmod) clnm) (λ x0 . crg))

as obj
-

as prop
4f87b..

theory
SetMM

stx
c16e7..

address
TMHB6..