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.

Estimated changes