Proofgold Object

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

type
ι → ι → ι → ι

theory
HotG

name
-

definition
PUStC..

Megalodon
-

proofgold address
TMVZX..

creator
35044 PrHS6../a4d49..

owner
35044 PrHS6../a4d49..

term root
8092c..