Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . ∀ x3 : ο . (PNoEq_ x0 (λ x4 . In x4 x1) (λ x4 . In x4 x2)x3)SNoEq_ x0 x1 x2x3
as obj
-
as prop
42e4e..SNoEq_E
theory
HF
stx
8964b..
address
TMTEN..SNoEq_E