Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x2x0∀ x3 . x3x0(x2 = x3∀ x4 : ο . x4)equip x0 (ordsucc (ordsucc x1))equip (setminus x0 (UPair x2 x3)) x1
as obj
-
as prop
185e6..
theory
HotG
stx
8cab1..
address
TMPYN..