Proofgold Proposition

∀ x0 x1 x2 . tuple_p 3 (lam 3 (λ x3 . If_i (x3 = 0) x0 (If_i (x3 = 1) x1 x2)))

type
prop

theory
HotG

name
tuple_p_3_tuple

proof
PUgbQ..

Megalodon
tuple_p_3_tuple

proofgold address
TMR9f..^{tuple_p_3_tuple}

creator
4904 Pr6Pc../b622e..

owner
4904 Pr6Pc../b622e..

term root
cf993..