Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . and (46c0e.. x0) (x0 81a9b.. 9f288..)
as obj
0af41..
as prop
-
theory
HOAS
stx
f0c21..
address
TMV97..