Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.prime.mod_four_ne_three_of_dvd_is_square_neg_one

Modification history