Theorem finset.prod_hom
Modification history
2021-08-01 17:17
src/algebra/big_operators/basic.lean
chore(deprecated/*): Make deprecated classes into structures (#8178) …
Deleted finset.prod_homView on Github →2019-12-27 14:05
src/algebra/big_operators.lean
refactor(*): unify API of `list/multiset/finset.prod_hom` (#1820) …
Modified finset.prod_homView on Github →2018-12-17 15:10
algebra/big_operators.lean
feat(data/polynomial): degree_map (#517)
Modified finset.prod_homView on Github →