Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-02-07 14:58 e98999ef

View on Github →

chore(algebra/pi_instances): generalize pi.list/multiset/finset_prod/sum_apply to dependent types

Estimated changes

modified theorem pi.finset_prod_apply
modified theorem pi.list_prod_apply
modified theorem pi.multiset_prod_apply