Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : (((ι → ο) → ο) → ο) → ο . Descr_Vo3 (λ x1 : ((ι → ο) → ο) → ο . a327b.. x1 = x0)
as obj
dba53..down_4_3
as prop
-
theory
HF
stx
a8b20..
address
TMZFM..down_4_3