Commit 2024-02-27 16:43 e43a9e45
View on Github →feat(NumberTheory/LegendreSymbol/MulCharacter): weaken assumptions (#11012) This PR weakens the type class assumptions on some results about multiplicative characters (from assuming the domain is a commutative ring to only requiring it is a commutative monoid). See here on Zulip.