“…Theorem A.1 follows from Theorems A.4, A.11, and A.33, which equate our Z/2Z-gradings gr, gr D , gr A , and gr DA with (a generalization of) Petkova's Z/2Z reduction of the G-set gradings of [17, Chapter 10] and [21, Section 6.5]. Since the G-set gradings are differential gradings (alternatively, type A or DA gradings, in the cases of CFA and CFDA, respectively) and invariant up to the appropriate notion of equivalence ([17, Theorem 10.39] and [21, Theorem 10]), it follows that gr D , gr A , and gr DA are as well.…”