Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.bipartite_below_swap

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.bipartite_below_swapView on Github →