Proofgold Proposition

∀ x0 x1 . ap (lam 2 (λ x3 . If_i (x3 = 0) x0 x1)) 1 = x1

type
prop

theory
HotG

name
tuple_2_1_eq

proof
PUdQg..

Megalodon
tuple_2_1_eq

proofgold address
TMNHa..^tuple_2_1_eq

creator
4899 Pr6Pc../7d0dc..

owner
4899 Pr6Pc../7d0dc..

term root
59656..