Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-03-02 17:42 c36470f7

View on Github →

put sum_two_squares in nat.prime namespace

Estimated changes

Modified src/number_theory/sum_two_squares.lean

added theorem nat.prime.sum_two_squares

deleted theorem sum_two_squares