Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → ι → (ι → ι → ι) → ι . fb712.. (λ x1 . λ x2 : ι → ι → ι . λ x3 . If_i (80242.. x3) (b3303.. (λ x4 . λ x5 : ι → ι . x0 x1 x4 (λ x6 x7 . If_i (x6 = x1) (x5 x7) (x2 x6 x7))) x3) 4a7ef..)
as obj
ad3ed..
as prop
-
theory
HoTg
stx
ab965..
address
TMPtL..