Theorem jacobiSym.legendreSym.to_jacobiSym

Modification history

2024-05-31 00:19
Mathlib/NumberTheory/LegendreSymbol/JacobiSymbol.lean
chore: fix formatting of many misplaced "by"s (#13204)
Modified jacobiSym.legendreSym.to_jacobiSymView on Github →
2023-06-27 17:19
Mathlib/NumberTheory/LegendreSymbol/JacobiSymbol.lean
feat: port NumberTheory.LegendreSymbol.JacobiSymbol (#5502)
Added jacobiSym.legendreSym.to_jacobiSymView on Github →