Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.card_eq_sum_card_image

Modification history

2019-10-16 17:05
src/algebra/big_operators.lean
feat(field_theory/finite): cardinality of images of polynomials (#1554) …
Added finset.card_eq_sum_card_imageView on Github →