Search for blocks/addresses/...

Proofgold Term Root Disambiguation

λ x0 : ι → ι → ο . λ x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 . ∀ x12 : ο . (3906f.. x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10(x1 = x11∀ x13 : ο . x13)(x2 = x11∀ x13 : ο . x13)(x3 = x11∀ x13 : ο . x13)(x4 = x11∀ x13 : ο . x13)(x5 = x11∀ x13 : ο . x13)(x6 = x11∀ x13 : ο . x13)(x7 = x11∀ x13 : ο . x13)(x8 = x11∀ x13 : ο . x13)(x9 = x11∀ x13 : ο . x13)(x10 = x11∀ x13 : ο . x13)x0 x1 x11not (x0 x2 x11)not (x0 x3 x11)not (x0 x4 x11)x0 x5 x11x0 x6 x11not (x0 x7 x11)not (x0 x8 x11)not (x0 x9 x11)not (x0 x10 x11)x12)x12
as obj
fa706..
as prop
-
theory
HotG
stx
87864..
address
TMK9M..