Theorem SimpleGraph.isBipartiteWith_sum_degrees_eq

Modification history

2025-08-30 23:52
Mathlib/Combinatorics/SimpleGraph/Bipartite.lean
feat(SimpleGraph/Bipartite): weaken finiteness assumptions (#29131) …
Modified SimpleGraph.isBipartiteWith_sum_degrees_eqView on Github →
2025-03-08 05:25
Mathlib/Combinatorics/SimpleGraph/Bipartite.lean
feat(Combinatorics/SimpleGraph): API for bipartite simple graph double-counting (#20838) …
Added SimpleGraph.isBipartiteWith_sum_degrees_eqView on Github →