mathlib3
7bca4039 - Merge branch 'master' into divisors-monoid-hom

Commit

3 years ago

Merge branch 'master' into divisors-monoid-hom

References

#16917 - refactor(number_theory/divisors): redefine nat.divisors as a monoid hom

Author

eric-wieser

eric-wieser

Committer

eric-wieser

eric-wieser

Parents

Loading