Proofgold Proposition

∀ x0 x1 x2 . In x0 3 ⟶ In x1 3 ⟶ In x2 3 ⟶ not (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))))

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
tuple_3_bij_3

proofgold address
TMdUq..^{tuple_3_bij_3}

creator
1627 PrGxv../07939..

owner
1627 PrGxv../07939..

term root
d739c..