mathlib3

25704cac - docs(algebra/covariant_and_contravariant): minor typos (#11293)