Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 x1 x2 : ι → ι . λ x3 . and (fa71f.. x0 x1 x2 x3) (e8533.. (λ x4 : ι → ι . or (or (x4 = x0) (x4 = x1)) (x4 = x2)) x3)
as obj
3c39d..
as prop
-
theory
HoTg
stx
336f4..
address
TMdGm..