Proofgold Proposition

∀ x0 x1 x2 . x0 ∈ 3 ⟶ x1 ∈ 3 ⟶ x2 ∈ 3 ⟶ (x0 = x1 ⟶ ∀ x3 : ο . x3) ⟶ (x0 = x2 ⟶ ∀ x3 : ο . x3) ⟶ (x1 = x2 ⟶ ∀ x3 : ο . x3) ⟶ bij 3 3 (ap (lam 3 (λ x3 . If_i (x3 = 0) x0 (If_i (x3 = 1) x1 x2))))

type
prop

theory
HotG

name
tuple_3_bij_3

proof
PUPjJ..

Megalodon
tuple_3_bij_3

proofgold address
TMXTM..^{tuple_3_bij_3}

creator
4909 Pr6Pc../558d6..

owner
4909 Pr6Pc../558d6..

term root
8fc73..