This map is an isomorphism, in fact the identity, because \([e^a]\)  represents the c-unit in \(\mathrm {Gr}_*\) .
Since the filtration is exhaustive and complete, the Eilenberg–Moore comparison theorem [1]} implies that the original map \([e^a]\bullet (-)\)  is an isomorphism.
