move(data/nat/choose/bounds): Move from combinatorics.choose.bounds (…

…#12051) This file fits better with all other files about `nat.choose`. My bad for originally proposing it goes alone under `combinatorics`.
leanprover-community · Feb 15, 2022 · 5027b28 · 5027b28
1 parent 52aaf17
commit 5027b28
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/src/combinatorics/choose/bounds.lean → src/data/nat/choose/bounds.lean b/src/combinatorics/choose/bounds.lean → src/data/nat/choose/bounds.lean