§9: The derived de Rham–Witt complex 1/2

Alternative description of the de Rham–Witt complex. More general
criterion for when it can recover the de Rham complex.
Define the derived de Rham–Witt and derived de Rham complexes
(Construction 9.2.5, Variant 9.2.6) and the conjugate filtration (Remark
9.2.7). Discuss Theorem 9.3.1 (the saturated de Rham–Witt complex in
terms of the derived one). Prove Corollary 9.3.5 as an application. Prove
Theorem 9.4.1 and Proposition 9.4.6.