Proofgold Proposition

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

type
prop

theory
HotG

name
tuple_3_in_A_3

proof
PUPjJ..

Megalodon
tuple_3_in_A_3

proofgold address
TMcqM..^{tuple_3_in_A_3}

creator
4909 Pr6Pc../30f81..

owner
4909 Pr6Pc../30f81..

term root
b6cd6..