mathlib

b11f8e7f - refactor(algebra/order/group): unify instances (#14705)

refactor(algebra/order/group): unify instances (#14705) Drop `group.covariant_class_le.to_contravariant_class_le` etc in favor of `group.covconv` (now an instance) and a new similar instance `group.covconv_swap`.