Structure SimpleGraph.IsBipartiteWith

Modification history

2025-03-08 05:25

Mathlib/Combinatorics/SimpleGraph/Bipartite.lean

feat(Combinatorics/SimpleGraph): API for bipartite simple graph double-counting (#20838) …

Added SimpleGraph.IsBipartiteWith View on Github →