mathlib4 icon indicating copy to clipboard operation
mathlib4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(NumberTheory/SmoothNumbers): multiplicativity (alternative proof)

Open rwst opened this issue 1 year ago • 0 comments

Multiplicativity of smooth numbers via same of factored numbers. See #13115 for an alternative approach and for motivation of this PR.

Open in Gitpod

rwst avatar May 25 '24 08:05 rwst