Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 . λ x2 : ι → ι . and (and (∀ x3 . prim1 x3 x0prim1 (x2 x3) x1) (∀ x3 . prim1 x3 x0∀ x4 . prim1 x4 x0x2 x3 = x2 x4x3 = x4)) (∀ x3 . prim1 x3 x1∀ x4 : ο . (∀ x5 . and (prim1 x5 x0) (x2 x5 = x3)x4)x4)
as obj
11ac3..
as prop
-
theory
HoTg
stx
75b72..
address
TMWBv..bij