Theorem SimpleGraph.isBipartiteWith_sum_degrees_eq_twice_card_edges

Modification history

2025-05-06 05:41

Mathlib/Combinatorics/SimpleGraph/Bipartite.lean

fix(SimpleGraph): drop some `DecidableEq` assumptions (#24623)

Modified SimpleGraph.isBipartiteWith_sum_degrees_eq_twice_card_edges View 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_eq_twice_card_edges View on Github →