Commit 2022-06-14 13:35 b11f8e7f
View on Github →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.