Update src/number_theory/divisors.lean - SemanticDiff

Commit

3 years ago

Update src/number_theory/divisors.lean Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>

References

divisors-monoid-hom

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

Author

eric-wieser

eric-wieser

Parents

Loading