Mathlib v3 is deprecated. Go to Mathlib v4

Theorem szemeredi_regularity.uniform_add_nonuniform_eq_off_diag_pairs

Modification history