mathlib3

00d570af - doc(algebra/covariant_and_contravariant): fix parameter documentation… (#9171)

doc(algebra/covariant_and_contravariant): fix parameter documentation… (#9171) … in covariant_class and contravariant_class In the documentation of `algebra.covariant_and_contravariant.covariant_class` and `algebra.covariant_and_contravariant.contravariant_class`, the parameter `r` is described as having type `N → N`. It's actual type is `N → N → Prop`. We change the documentation to give the correct type of `r`.