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

Estimated changes