Theorem List.prod_map_ite

Modification history

2024-07-08 16:16
Mathlib/Algebra/BigOperators/Group/List.lean
feat: add lemma `List.prod_map_ite_eq` (#13023) …
Added List.prod_map_iteView on Github →