Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → (ι → ι → ι → ο)ι → ι → ο . λ x1 . Descr_iio (6f52e.. x0 x1)
as obj
03431..In_rec_iio
as prop
-
theory
HF
stx
f19eb..
address
TMGcm..In_rec_iio