Theorem Prime.not_dvd_finset_prod

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_finset_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_finset_prodView on Github →