Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
div_eq_filter_card
Modification history
2022-04-15 17:50
src/number_theory/legendre_symbol/quadratic_reciprocity.lean
refactor(number_theory/legendre_symbol/): move Gauss/Eisenstein lemma code to separate file (#13449) …
Deleted
div_eq_filter_card
View on Github →
2019-11-10 19:42
src/data/zmod/quadratic_reciprocity.lean
refactor(data/zmod/quadratic_reciprocity): simplify proof of quadratic reciprocity and prove when 2 is a square (#1609) …
Added
div_eq_filter_card
View on Github →