PR #7138: feat(combinatorics/simple_graph/basic): add lem...

Stream: triage

[Random Issue Bot]

Today I chose PR 7138 for discussion!

feat(combinatorics/simple_graph/basic): add lemmas about the neighbor set of a vertex in the complement graph
Created by @None (@agusakov) on 2021-04-09
Labels: help wanted, WIP, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?