Theorem Finset.squarefree_prod_of_pairwise_isCoprime

Modification history

2025-09-19 07:04
Mathlib/Algebra/Squarefree/Basic.lean
chore(*): drop some `Decidable`/`Fintype` assumptions (#29785) …
Modified Finset.squarefree_prod_of_pairwise_isCoprimeView on Github →
2025-08-29 02:42
Mathlib/Algebra/Squarefree/Basic.lean
feat(Algebra/Squarefree/Basic): add lemma about indexed products of squarefree elements (#29051) …
Added Finset.squarefree_prod_of_pairwise_isCoprimeView on Github →