Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 : ο . (∀ x1 . (∀ x2 : ο . (∀ x3 . and (and (4f2b4.. x3) (69b7e.. x1 x3)) (not (21582.. x1 x3))x2)x2)x0)x0
as obj
-
as prop
6c4b8..
theory
HoTg
stx
4b82f..
address
TMNsh..