Theorem Nat.primeFactors_zero

Modification history

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