mathlib3
feat(combinatorics/simple_graph): Locally linear graphs
#19201

Closed

feat(combinatorics/simple_graph): Locally linear graphs #19201

YaelDillies wants to merge 3 commits into master from locally_linear_graph

feat(combinatorics/simple_graph): Locally linear graphs

afb7f27f

YaelDillies requested a review 2 years ago

YaelDillies added awaiting-review

YaelDillies added t-combinatorics

YaelDillies added modifies-synchronized-file

ghost added blocked-by-other-PR

kim-em added too-late

kim-em removed too-late

kim-em added not-too-late

ghost removed blocked-by-other-PR

Merge remote-tracking branch 'origin/master' into locally_linear_graph

d10f1c77

bump

05cb65fc

YaelDillies closed this 2 years ago

YaelDillies deleted the locally_linear_graph branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

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

Milestone

No milestone