Commit 2024-03-01 07:18 4a174927
View on Github →chore(NumberTheory/LegendreSymbol/AddCharacter): weaken typeclass assumptions (#11049) This is an analogue of #11012. It weakens the type class assumptions in various definitions and statements about additive characters. Prompted by this message on Zulip.