mathlib

e041dbe3 - chore(algebra/covariant_and_contravariant): fix typos in module doc-strings (#7925)

chore(algebra/covariant_and_contravariant): fix typos in module doc-strings (#7925) This PR changes slightly the doc-strings to make the autogenerated documentation more consistent. I also removed some unstylish double spaces.