Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ο . wceq (copab_b x0) (cab (λ x1 . wex (λ x2 . wex (λ x3 . wa (wceq (cv x1) (cop (cv x3) (cv x3))) (x0 x3)))))
as obj
-
as prop
76dc0..
theory
SetMM
stx
e4700..
address
TMa4N..