feat(combinatorics/configuration): Variant of `exists_injective_of_card_le` (#11116)
feat(combinatorics/configuration): Variant of `exists_injective_of_card_le` (#11116)

Proves a variant of `exists_injective_of_card_le` that will be useful in an upcoming proof.





leanprover-community/mathlib,leanprover-community/mathlib