Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0prim4 3∀ x1 : ο . (x0 = 0x1)(x0 = 1x1)(x0 = Sing 1x1)(x0 = 2x1)(x0 = Sing 2x1)(x0 = UPair 0 2x1)(x0 = UPair 1 2x1)(x0 = 3x1)x1
as obj
-
as prop
be3b8..
theory
HotG
stx
ea22c..
address
TMMPJ..