Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (Inj1 x0)or (x1 = 0) (∃ x2 . and (In x2 x0) (x1 = Inj1 x2))
as obj
-
as prop
f3200..Inj1E
theory
HF
stx
a6670..
address
TMXfP..Inj1E