Formality of the chain operad of framed little disks

Abstract

We extend Tamarkin's formality of the little disk operad to the framed little disk operad.