Proofgold Proposition

∀ x0 x1 x2 x3 x4 . x0 ∈ x4 ⟶ x1 ∈ x4 ⟶ x2 ∈ x4 ⟶ x3 ∈ x4 ⟶ lam 4 (λ x5 . If_i (x5 = 0) x0 (If_i (x5 = 1) x1 (If_i (x5 = 2) x2 x3))) ∈ setexp x4 4

type
prop

theory
HotG

name
tuple_4_in_A_4

proof
PUPjJ..

Megalodon
tuple_4_in_A_4

proofgold address
TMPzw..^{tuple_4_in_A_4}

creator
4909 Pr6Pc../58334..

owner
4909 Pr6Pc../58334..

term root
9dfa3..