Def completeBipartiteGraph
Modification history
2024-07-20 07:03
Mathlib/Combinatorics/SimpleGraph/Basic.lean
chore(*): use ⊕ notation for `Sum` (#14934)
Modified completeBipartiteGraphView on Github →2023-08-25 14:43
Mathlib/Combinatorics/SimpleGraph/Basic.lean
feat: complete multipartite graphs (#6762) …
Modified completeBipartiteGraphView on Github →