Theorem Finset.coe_prod

Modification history

2025-04-09 16:53
Mathlib/Algebra/Group/Pointwise/Finset/BigOperators.lean
chore: miscellaneous style fixes (#23878) …
Modified Finset.coe_prodView on Github →
2025-03-20 22:56
Mathlib/Algebra/Group/Pointwise/Finset/Basic.lean
chore(Algebra/Group): split off big operators from `Pointwise/Finset/Basic.lean` (#23156) …
Modified Finset.coe_prodView on Github →
2023-08-10 19:52
Mathlib/Data/Finset/Pointwise.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified Finset.coe_prodView on Github →
2023-02-01 10:16
Mathlib/Data/Finset/Pointwise.lean
feat: Port/Data.Finset.Pointwise (#1911) …
Added Finset.coe_prodView on Github →