mathlib

a4b0b48b - feat(data/nat/basic): lt_one_iff (#8224)

feat(data/nat/basic): lt_one_iff (#8224) Co-authored-by: Eric Wieser <wieser.eric@gmail.com> Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>