Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.four_dvd_add_or_sub_of_odd

Modification history