Proofgold Term Root Disambiguation

wceq csquarenn (crab (λ x0 . wcel (cfv (cv x0) csqrt) cq) (λ x0 . cn))

as obj
-

as prop
37d0a..

theory
SetMM

stx
c16e7..

address
TMPXw..