Theorem Nat.factorization_eq_primeFactorsList_multiset

Modification history

2024-07-22 11:41
Mathlib/Data/Nat/Factorization/Basic.lean
chore: split off `Defs` and `Induction` from `Nat/Factorization/Basic` (#14960) …
Modified Nat.factorization_eq_primeFactorsList_multisetView on Github →
2024-07-17 17:39
Mathlib/Data/Nat/Factorization/Basic.lean
chore: Rename `Nat.factors` to `Nat.primeFactorsList` (#13832) …
Added Nat.factorization_eq_primeFactorsList_multisetView on Github →