mathlib3
b5ce7d56 - rename finset_sum_divisors_iff to finset_sum_divisors

Commit

3 years ago

rename finset_sum_divisors_iff to finset_sum_divisors

References

dirichlet_inverse

Author

nielsvoss

nielsvoss

Parents

Loading