mathlib3

cf47fc6f - fix(tactic/norm_num): bug in prove_div_mod (#17415)

fix(tactic/norm_num): bug in prove_div_mod (#17415) As [reported on Zulip](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/norm_num.20produces.20bad.20proof.20term).