Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monoid_hom.coe_finset_prod

Modification history

2022-02-09 17:14
src/algebra/big_operators/basic.lean
chore(data/pi): add pi.prod and use elsewhere (#11877) …
Added monoid_hom.coe_finset_prodView on Github →