Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι → ο . λ x2 . {x3 ∈ x0|and (x2 = x3∀ x4 : ο . x4) (x1 x2 x3)}
as obj
05623..
as prop
-
theory
HotG
stx
49532..
address
TMWV3..