Def Tactic.NormNum.evalLegendreSym

Modification history

2023-07-19 08:39

Mathlib/Tactic/NormNum/LegendreSymbol.lean

chore: bump quote4 (#5975)

Modified Tactic.NormNum.evalLegendreSym 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.evalLegendreSym View on Github →