mathlib

4ee988db - chore(algebra/homology/homotopy): cleanup (#12998)

chore(algebra/homology/homotopy): cleanup (#12998) Correcting a name and some whitespace. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>