Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → ο . prim0 (λ x1 . ∀ x2 . iff (prim1 x2 x1) (x0 x2))
as obj
707e2..
as prop
-
theory
HoTg
stx
336f4..
address
TMT2f..