Theorem zmod.prod_Ico_one_prime
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.prod_Ico_one_primeView 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.prod_Ico_one_primeView on Github →