mathlib3

1179155f - chore(algebra/covariant): pass the operator explicitly for `monotone.covariant`