Search for blocks/addresses/...

Proofgold Term Root Disambiguation

wceq cmvh (cmpt (λ x0 . cvv) (λ x0 . cmpt (λ x1 . cfv (cv x0) cmvar) (λ x1 . cop (cfv (cv x1) (cfv (cv x0) cmty)) (cs1 (cv x1)))))
as obj
-
as prop
0dfa7..
theory
SetMM
stx
74203..
address
TMV4W..