Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (Inj1 x0)∀ x2 : ι → ο . x2 0(∀ x3 . In x3 x0x2 (Inj1 x3))x2 x1
as obj
-
as prop
474ab..Inj1E_impred
theory
HF
stx
a6670..
address
TMHir..Inj1E_impred