Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : (ι → ι) → ο . λ x1 . x1 = fa4ab.. x0 (λ x3 : ι → ι . x3 x1)
as obj
e8533..
as prop
-
theory
HoTg
stx
336f4..
address
TMUKT..