mathlib3

f01260a7 - feat(algebra/char_p): eq_iff_modeq_int (#2731)