mathlib3
18217e9a - feat(nat/choose): Generalise nat.dvd_choose (#2703)

Commit

6 years ago

feat(nat/choose): Generalise nat.dvd_choose (#2703) Spin-off from #2701.

Author

Smaug123

Smaug123

Parents

Loading