Notes for LD15 Kuno-1/0:22:55

This seems to be the theorem on page 7 of Kawazumi's notes. The completion $\widehat{{\mathbb Q}\pi}$ is relative to powers of the augmentation ideal.