Search for blocks/addresses/...

Proofgold Term Root Disambiguation

wceq csslt (copab (λ x0 x1 . w3a (wss (cv x0) csur) (wss (cv x1) csur) (wral (λ x2 . wral (λ x3 . wbr (cv x2) (cv x3) cslt) (λ x3 . cv x1)) (λ x2 . cv x0))))
as obj
-
as prop
74e28..
theory
SetMM
stx
e3215..
address
TMR3q..