Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 . x0setminus u13 u10∀ x1 : ι → ο . x1 u10x1 u11x1 u12x1 x0
as obj
-
as prop
fc2d4..
theory
HotG
stx
daf5d..
address
TMGHV..