TY - RPRT TI - Derived completion for comodules AU - Tobias Barthel AU - Drew Heard AU - Gabriel Valenzuela PY - 2019 DO - 10.1007/s00229-018-1094-0 UR - https://arxiv.org/abs/1808.00895 ID - 1808.00895 ER -