Mathlib/Algebra/Homology/Refinements.lean:18 ERR_IND: If the theorem/def statement requires multiple lines, indent it correctly (4 spaces or 2 for `|`)

Mathlib/Algebra/Homology/Refinements.lean:10 ERR_MOD: Module docstring missing, or too late