Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . ∀ x3 x4 : ι → ι . inj x0 x1 x3inj x1 x2 x4inj x0 x2 (λ x5 . x4 (x3 x5))
as obj
-
as prop
626f8..inj_comp
theory
HF
stx
e311e..
address
TMVzz..inj_comp