Proofgold Object

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

type
ι → ι

theory
HotG

name
-

definition
PULps..

Megalodon
-

proofgold address
TMSN9..

creator
35061 PrKYB../fa146..

owner
35061 PrKYB../fa146..

term root
fca8b..