Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : (((ι → ο) → ο) → ο) → ο . (∀ x1 : ο . (∀ x2 : ((ι → ο) → ο) → ο . x0 x2x1)x1)(∀ x1 x2 : ((ι → ο) → ο) → ο . x0 x1x0 x2x1 = x2)x0 (Descr_Vo3 x0)
as obj
-
as prop
a7e03..Descr_Vo3_prop
theory
HF
stx
f19eb..
address
TMLwR..Descr_Vo3_prop