mathlib
004618ad - feat(data/nat): two lemmas about choose (#1717)

Commit

6 years ago

feat(data/nat): two lemmas about choose (#1717) * Two lemmas about choose * swap choose_symm order

References

Author

b-mehta

Committer

mergify[bot]

Parents