mathlib

c0b5ce12 - feat(data/nat/choose/basic): choose_eq_zero_iff (#11120)