Proofgold Object

λ x0 x1 x2 . lam (setsum x0 x0) (combine_funcs x0 x0 (λ x3 . Inj0 (ap x2 x3)) (λ x3 . Inj1 (ap x2 x3)))

type
ι → ι → ι → ι

theory
HotG

name
-

definition
PUeeb..

Megalodon
-

proofgold address
TMXCR..

creator
35044 PrHS6../1fcde..

owner
35044 PrHS6../1fcde..

term root
b74c3..