Proofgold Proposition

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

type
prop

theory
HotG

name
tuple_2_0_eq

proof
PUdQg..

Megalodon
tuple_2_0_eq

proofgold address
TMMmX..^tuple_2_0_eq

creator
4899 Pr6Pc../64124..

owner
4899 Pr6Pc../64124..

term root
42d45..