Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.card_mul_eq_card_mul

Modification history

2022-01-11 20:49
src/combinatorics/double_counting.lean
feat(combinatorics/double_counting): Double-counting the edges of a bipartite graph (#11372) …
Added finset.card_mul_eq_card_mulView on Github →