Def Nat.factoredNumbers

Modification history

2024-07-17 17:39

Mathlib/NumberTheory/SmoothNumbers.lean

chore: Rename `Nat.factors` to `Nat.primeFactorsList` (#13832) …

Modified Nat.factoredNumbers View on Github →

2024-04-14 08:49

Mathlib/NumberTheory/SmoothNumbers.lean

feat(NumberTheory/SmoothNumbers): add material on numbers with prime factors in a given Finset (#12055) …

Added Nat.factoredNumbers View on Github →