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 . x12x0∀ x13 . x13x0948b4.. x2 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13∀ x14 : ο . (x2 x4 x3not (x2 x5 x3)not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3not (x2 x9 x3)not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)(x2 x4 x3not (x2 x5 x3)not (x2 x6 x3)not (x2 x7 x3)x2 x8 x3x2 x9 x3not (x2 x10 x3)x2 x11 x3not (x2 x12 x3)not (x2 x13 x3)x14)x14
as obj
-
as prop
8ad44..
theory
HotG
stx
e1da6..
address
TMHdG..