§4: Definition of the complex

The de Rham–Witt complex, its universal property, and relation to the
de Rham complex.
Cover §3.6 (discuss in particular Lemma 3.6.1 and Proposition 3.6.3).
Define the saturated de Rham–Witt complex (Definition 4.1.1, Proposi?tion 4.1.4). State Corollary 4.1.5. Prove Theorem 4.2.4. Prove Theorem
4.3.1 (make sure to state Corollary 4.3.5), and discuss Remark 4.3.6.