Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ((ι → ο) → ο) → ο . λ x1 : ι → ο . ∀ x2 : (ι → ο) → ο . x0 x2x2 x1
as obj
d9820..Descr_Vo2
as prop
-
theory
HF
stx
f19eb..
address
TMFZf..Descr_Vo2