Mathlib Changelog
v4
Changelog
About
Github
Def
Tactic.NormNum.evalJacobiSymNat
Modification history
2023-07-19 08:39
Mathlib/Tactic/NormNum/LegendreSymbol.lean
chore: bump quote4 (#5975)
Modified
Tactic.NormNum.evalJacobiSymNat
View on Github →
2023-06-29 13:10
Mathlib/Tactic/NormNum/LegendreSymbol.lean
feat: port number_theory.legendre_symbol.norm_num to Tactic.NormNum.LegendreSymbol (#5548)
Added
Tactic.NormNum.evalJacobiSymNat
View on Github →