Commit 2022-04-11 02:03 6f9cb03e
View on Github →chore(*): make more transitive relations available to calc (#12860) Fixed as many possible declarations to have the correct argument order, as per Zulip. Golfed some random ones while I was at it.
chore(*): make more transitive relations available to calc (#12860) Fixed as many possible declarations to have the correct argument order, as per Zulip. Golfed some random ones while I was at it.