Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-02 17:42 bd86c0da

View on Github →

commit properly

Estimated changes

Modified src/data/zmod/quadratic_reciprocity.lean

added theorem zmodp.neg_one_is_square_iff_mod_four_ne_three

Modified src/number_theory/pell.lean

modified structure zsqrtd

Modified src/number_theory/sum_two_squares.lean