Theorem Finset.map_noncommProd

Modification history

2024-07-23 13:03
Mathlib/Data/Finset/NoncommProd.lean
chore(Finset): Rename `noncommProd_map` to `map_noncommProd` (#15048) …
Added Finset.map_noncommProdView on Github →