Mathlib v3 is deprecated. Go to Mathlib v4

Theorem locally_finite.exists_finset_mul_support

Modification history

2022-03-29 09:36

src/topology/algebra/monoid.lean

feat(topology/algebra/monoid): `finprod` is eventually equal to `finset.prod` (#13013) …

Added locally_finite.exists_finset_mul_support View on Github →