Theorem Finset.support_prod_subset

Modification history

2024-06-01 08:19

Mathlib/Algebra/BigOperators/Group/Finset.lean

chore: Split `Algebra.BigOperators.Basic` (#13277) …

Modified Finset.support_prod_subset View on Github →

2023-12-13 09:43

Mathlib/Algebra/BigOperators/Basic.lean

chore: Sink `Algebra.Support` down the import tree (#8919) …

Added Finset.support_prod_subset View on Github →