Derived completion for comodules - Tobias Barthel; Drew Heard; Gabriel Valenzuela (2018)