Theorem Prime.dvd_finsuppProd_iff

Modification history

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