Theorem Prime.not_dvd_finsupp_prod

Modification history

2025-04-09 08:09
Mathlib/Algebra/BigOperators/Associated.lean
refactor: correct names for `(D)Finsupp.sum` lemmas (#23741) …
Deleted Prime.not_dvd_finsupp_prodView on Github →
2024-02-11 05:41
Mathlib/Algebra/BigOperators/Associated.lean
feat: add Prime.not_dvd_finset_prod and Prime.not_dvd_finsupp_prod (#10047) …
Added Prime.not_dvd_finsupp_prodView on Github →