Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (Inj0 x0)∀ x2 : ο . (∀ x3 . and (In x3 x0) (x1 = Inj1 x3)x2)x2
as obj
-
as prop
0e45c..Inj0E
theory
HF
stx
a6670..
address
TMaJw..Inj0E