Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 . In x0 2In x1 2not (x0 = x1)bij 2 2 (ap (lam 2 (λ x2 . If_i (x2 = 0) x0 x1)))
as obj
-
as prop
32c65..tuple_2_bij_2
theory
HF
stx
89549..
address
TMVhH..tuple_2_bij_2