Search for blocks/addresses/...

Proofgold Term Root Disambiguation

∀ x0 x1 x2 . In x0 3In x1 3In x2 3not (x0 = x1)not (x0 = x2)not (x1 = x2)bij 3 3 (ap (lam 3 (λ x3 . If_i (x3 = 0) x0 (If_i (x3 = 1) x1 x2))))
as obj
-
as prop
c1fe0..tuple_3_bij_3
theory
HF
stx
89549..
address
TMF5d..tuple_3_bij_3