mathlib
f8977e8e - feat(number_theory/divisors): add divisors_mul

Commit

3 years ago

feat(number_theory/divisors): add divisors_mul Co-authored-by: Bhavik Mehta <bhavikmehta8@gmail.com>

References

Author

eric-wieser

Committer

eric-wieser

Parents