Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . x0x2x1x2lam 2 (λ x3 . If_i (x3 = 0) x0 x1)setexp x2 2
as obj
-
as prop
234a4..tuple_2_in_A_2
theory
HotG
stx
d9726..
address
TMTdP..tuple_2_in_A_2