Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∃ x0 : ι → ι → ο . and (totalorder x0) (∀ x2 : ι → ο . (∃ x3 . x2 x3)∃ x3 . and (x2 x3) (∀ x5 . x2 x5x0 x3 x5))
as obj
-
as prop
ca52d..
theory
HoTg
stx
75b72..
address
TMTrd..Zermelo_WO