mathlib

788240cf - chore(order/cover): Rename `covers` to `covby` (#11984)

chore(order/cover): Rename `covers` to `covby` (#11984) This matches the way it is written. `a ⋖ b` means that `b` covers `a`, that is `a` is covered by `b`.