mathlib3

54b45730 - feat(data/int/modeq): add modeq_iff_add_fac, modeq_add_fac_self (#15816)