Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 : ι → ι → ο . (∀ x3 . x3x1∀ x4 . x4x1x2 x3 x4x2 x4 x3)4402e.. x1 x2cf2df.. x1 x2∀ x3 . x3x1x0setminus x1 (Sing x3)∀ x4 . x4x0∀ x5 . x5x0∀ x6 . x6x0∀ x7 . x7x0∀ x8 . x8x0∀ x9 . x9x0∀ x10 . x10x0∀ x11 . x11x0∀ x12 . x12x093f0f.. x2 x4 x5 x6 x7 x8 x9 x10 x11 x12∀ x13 : ο . (x2 x4 x3x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)x13)(x2 x4 x3not (x2 x5 x3)x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)x13)(x2 x4 x3x2 x5 x3x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)x13)(x2 x4 x3x2 x5 x3not (x2 x6 x3)x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)x13)(x2 x4 x3not (x2 x5 x3)x2 x6 x3x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)x13)(x2 x4 x3x2 x5 x3x2 x6 x3x2 x7 x3not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)not (x2 x11 x3)not (x2 x12 x3)x13)(x2 x4 x3x2 x5 x3not (x2 x6 x3)not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)x13)(x2 x4 x3not (x2 x5 x3)x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)x13)(x2 x4 x3x2 x5 x3x2 x6 x3not (x2 x7 x3)not (x2 x8 x3)not (x2 x9 x3)not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)x13)x13
as obj
-
as prop
2f06a..
theory
HotG
stx
b64a9..
address
TML4n..