Proofgold Object

λ x0 x1 x2 . lam (setprod int x0) (λ x3 . lam 2 (λ x4 . If_i (x4 = 0) (ap x3 0) (ap x2 (ap x3 1))))

type
ι → ι → ι → ι

theory
HotG

name
-

definition
PULps..

Megalodon
-

proofgold address
TMS9U..

creator
35061 PrKYB../82365..

owner
35061 PrKYB../82365..

term root
b4463..