Commit 2024-07-16 20:24 14e44da8
View on Github →feat(Algebra/BigOperators/Group/Finset): Lemma for product being a square (#14622) Added a small lemma that shows a product is a square if all the terms are squares
feat(Algebra/BigOperators/Group/Finset): Lemma for product being a square (#14622) Added a small lemma that shows a product is a square if all the terms are squares