Proofgold Proposition

setsum = λ x1 x2 . lam 2 (λ x3 . If_i (x3 = 0) x1 x2)

type
prop

theory
HotG

name
pair_tuple_fun

proof
PUdQg..

Megalodon
pair_tuple_fun

proofgold address
TMQyW..^{pair_tuple_fun}

creator
4899 Pr6Pc../52fed..

owner
4899 Pr6Pc../52fed..

term root
b02df..