mathlib

6f9cb03e - chore(*): make more transitive relations available to calc (#12860)

chore(*): make more transitive relations available to calc (#12860) Fixed as many possible declarations to have the correct argument order, as per [Zulip](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/calc.20with.20.60.E2.89.83*.60). Golfed some random ones while I was at it.