Search for blocks/addresses/...

Proofgold Term Root Disambiguation

wceq ccla (crab (λ x0 . wa (wceq (cdm (cfv (cv x0) club)) (cpw (cfv (cv x0) cbs))) (wceq (cdm (cfv (cv x0) cglb)) (cpw (cfv (cv x0) cbs)))) (λ x0 . cpo))
as obj
-
as prop
4e4b3..
theory
SetMM
stx
722af..
address
TMaVU..