Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 x0∀ x2 : ο . (∀ x3 . and (In x3 x0) (not (∀ x4 : ο . (∀ x5 . and (In x5 x0) (In x5 x3)x4)x4))x2)x2
as obj
-
as prop
3903a..Regularity
theory
HF
stx
a6670..
address
TMQUW..Regularity