Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . ∀ x3 : ι → ο . x3 x0x3 x1x3 x2∀ x4 . x4SetAdjoin (UPair x0 x1) x2x3 x4
as obj
-
as prop
aa241..
theory
HotG
stx
49532..
address
TMZoa..