Theorem zmod.wilsons_lemma
Modification history
2023-06-10 20:00
src/number_theory/legendre_symbol/gauss_eisenstein_lemmas.lean
chore(number_theory/legendre_symbol/gauss_eisenstein_lemmas): move zmod.wilsons_lemma (#19172)
Modified zmod.wilsons_lemmaView on Github →2022-04-15 17:50
src/number_theory/legendre_symbol/gauss_eisenstein_lemmas.lean
refactor(number_theory/legendre_symbol/): move Gauss/Eisenstein lemma code to separate file (#13449) …
Modified zmod.wilsons_lemmaView on Github →