Commit 2022-04-11 20:58 a839f4dc

feat(number_theory/quadratic_reciprocity): change order of arguments … (#13311) …in legendre_sym This is the first step in a major overhaul of the contents of number_theory/quadratic_reciprocity. As a first step, the order of the arguments a and p to legendre_sym is swapped, based on a poll on Zulip.