Formal Book

34 Identities versus bijections

Theorem 34.1
k1(1xk)=1+j1(1)j(x3j2j2+x3j2+j2).
Proof