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
HF

name
-

proof
PUKA4..

Megalodon
tuple_p_3_tuple

proofgold address
TMQKB..^{tuple_p_3_tuple}

creator
1627 PrGxv../7ce07..

owner
1627 PrGxv../7ce07..

term root
934a3..