Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.card_mul_le_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_le_card_mul'View on Github →