Theorem SimpleGraph.IsBipartiteWith.mem_of_mem_adj'

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.mem_of_mem_adj'View on Github →