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

By the criterion of the previous talk, the de Rham–Witt complex recovers
the de Rham complex for a more general class of rings.
Cover §9.5, in particular Theorem 9.5.6, Corollary 9.5.19, and Theorem
9.5.21.