Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ((ι → ο) → ο) → ο . Descr_Vo2 (λ x1 : (ι → ο) → ο . a4b00.. x1 = x0)
as obj
d94e6..down_3_2
as prop
-
theory
HF
stx
a8b20..
address
TMaJh..down_3_2