PR #19203: feat(combinatorics/simple_graph): More clique ...

Stream: triage

[Random Issue Bot]

Today I chose PR 19203 for discussion!

feat(combinatorics/simple_graph): More clique lemmas
Created by @Yaël Dillies (@YaelDillies) on 2023-06-18
Labels: awaiting-review, t-combinatorics, modifies-synchronized-file

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

[Yaël Dillies]

Awaiting review