Mathlib v3 is deprecated. Go to Mathlib v4

Theorem zmod.mod_four_ne_three_of_sq_eq_neg_sq'

Modification history