Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : (ι → ι → ο) → ο . (∀ x1 : ο . (∀ x2 : ι → ι → ο . x0 x2x1)x1)(∀ x1 x2 : ι → ι → ο . x0 x1x0 x2x1 = x2)x0 (Descr_iio x0)
as obj
-
as prop
ff19b..Descr_iio_prop
theory
HF
stx
f19eb..
address
TMVeG..Descr_iio_prop