Theorem Nat.primeFactors_one

Modification history

2024-05-14 23:22
Mathlib/Data/Nat/PrimeFin.lean
chore: robustify proofs against leanprover/lean4#4061 (#12906) …
Modified Nat.primeFactors_oneView on Github →
2023-11-10 13:54
Mathlib/Data/Nat/PrimeFin.lean
fix: make primeFactors_one about one (#8315)
Modified Nat.primeFactors_oneView on Github →
2023-11-10 09:14
Mathlib/Data/Nat/PrimeFin.lean
refactor: Unify spelling of "prime factors" (#8164) …
Added Nat.primeFactors_oneView on Github →