Commit 2023-08-25 14:43 5d955e02
View on Github →feat: complete multipartite graphs (#6762) https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Complete.20multipartite.20graphs/near/386500598
feat: complete multipartite graphs (#6762) https://leanprover.zulipchat.com/#narrow/stream/287929-mathlib4/topic/Complete.20multipartite.20graphs/near/386500598