mathlib

132ae2b2 - fix(algebraic_topology): fix a typo (#6991)