Theorem Prime.not_dvd_finsuppProd

Modification history

2025-07-05 03:31
Mathlib/Algebra/BigOperators/Associated.lean
chore(Algebra/BigOperators): rename variables away from greek letters (#26521) …
Modified Prime.not_dvd_finsuppProdView on Github →
2025-04-09 08:09
Mathlib/Algebra/BigOperators/Associated.lean
refactor: correct names for `(D)Finsupp.sum` lemmas (#23741) …
Added Prime.not_dvd_finsuppProdView on Github →