Theorem Prime.not_dvd_finset_prod

Modification history

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 →