Search for blocks/addresses/...

Proofgold Term Root Disambiguation

wceq cfne (copab (λ x0 x1 . wa (wceq (cuni (cv x0)) (cuni (cv x1))) (wral (λ x2 . wss (cv x2) (cuni (cin (cv x1) (cpw (cv x2))))) (λ x2 . cv x0))))
as obj
-
as prop
0aed7..
theory
SetMM
stx
cb8e1..
address
TMWwC..