Proofgold Object

λ x0 . unpack_u_i x0 (λ x1 . λ x2 : ι → ι . lam (setsum x1 x1) (combine_funcs x1 x1 (λ x3 . x3) x2))

type
ι → ι

theory
HotG

name
-

definition
PUeeb..

Megalodon
-

proofgold address
TMNXK..

creator
35044 PrHS6../5d73e..

owner
35044 PrHS6../5d73e..

term root
b0e61..