mathlib3
feat(combinatorics/simple_graph): Construct a tripartite graph from its triangles
#19202

Closed

feat(combinatorics/simple_graph): Construct a tripartite graph from its triangles #19202

YaelDillies wants to merge 2 commits into master from tripartite_from_triangles

feat(combinatorics/simple_graph): Locally linear graphs

afb7f27f

feat(combinatorics/simple_graph): Construct a tripartite graph from i…

ca455ab1

YaelDillies requested a review 2 years ago

YaelDillies added awaiting-review

YaelDillies added blocked-by-other-PR

YaelDillies added t-combinatorics

github-actions added modifies-synchronized-file

kim-em added too-late

kim-em removed too-late

kim-em added not-too-late

eric-wieser commented on 2023-07-16

ghost removed blocked-by-other-PR

YaelDillies closed this 2 years ago

YaelDillies deleted the tripartite_from_triangles branch 2 years ago

Reviewers

eric-wieser

Assignees

No one assigned

Labels

awaiting-review t-combinatorics modifies-synchronized-file not-too-late

Milestone

No milestone