Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . lam 2 (λ x5 . If_i (x5 = 0) x0 x1) = lam 2 (λ x5 . If_i (x5 = 0) x2 x3)and (x0 = x2) (x1 = x3)
as obj
-
as prop
7b362..tuple_2_inj
theory
HF
stx
89549..
address
TMRkW..tuple_2_inj