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

Commit

4 years ago

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.

Author

tb65536

Parents

1fd70b1b

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

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