Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ι → ο . (∀ x1 : ο . (∀ x2 . x0 x2x1)x1)∀ x1 : ο . (∀ x2 . and (x0 x2) (∀ x3 . and (x0 x3) (x3 = x2∀ x4 : ο . x4)ZermeloWOstrict x2 x3)x1)x1
as obj
-
as prop
d237f..
theory
HoTg
stx
75b72..
address
TMVwV..ZermeloWOstrict_wo