mathlib3

f717251d - feat(data/nat/with_bot): add nat.with_bot.add_eq_iff lemmas (#17629)