Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . ∀ x4 : ι → ο . x4 x0x4 x1x4 x2x4 x3∀ x5 . x5SetAdjoin (SetAdjoin (UPair x0 x1) x2) x3x4 x5
as obj
-
as prop
8698a..
theory
HotG
stx
8cab1..
address
TMHuv..