Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

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

Closed
wants to merge 3 commits into from
Closed

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

wants to merge 3 commits into from

Conversation

YaelDillies
Copy link
Collaborator

@YaelDillies YaelDillies commented Jun 18, 2023 •
edited
Loading

Define predicates for a graph to have edge-disjoint triangles and to be locally linear (edge-disjoint triangles and each edge belongs to a triangle).

Open in Gitpod

@YaelDillies YaelDillies requested a review from a team as a code owner June 18, 2023 09:08
@YaelDillies YaelDillies added awaiting-review The author would like community review of the PR t-combinatorics Combinatorics modifies-synchronized-file This PR touches a files that has already been ported to mathlib4, and may need a synchronization PR. labels Jun 18, 2023
@YaelDillies YaelDillies mentioned this pull request Jun 18, 2023
Closed
1 task
@mathlib-dependent-issues-bot mathlib-dependent-issues-bot added the blocked-by-other-PR This PR depends on another PR which is still in the queue. A bot manages this label via PR comment. label Jun 19, 2023
@kim-em kim-em added too-late This PR was ready too late for inclusion in mathlib3 not-too-late This PR was ready at the point mathlib3 was frozen: we will try to merge it and port it to mathlib4 and removed too-late This PR was ready too late for inclusion in mathlib3 labels Jul 16, 2023
@mathlib-dependent-issues-bot mathlib-dependent-issues-bot removed the blocked-by-other-PR This PR depends on another PR which is still in the queue. A bot manages this label via PR comment. label Oct 22, 2023
@mathlib-dependent-issues-bot
Copy link
Collaborator

This PR/issue depends on:

@YaelDillies
Copy link
Collaborator Author

Ported to LeanCamCombi.

@YaelDillies YaelDillies deleted the locally_linear_graph branch November 18, 2023 10:36
@YaelDillies YaelDillies mentioned this pull request Apr 29, 2024
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
awaiting-review The author would like community review of the PR modifies-synchronized-file This PR touches a files that has already been ported to mathlib4, and may need a synchronization PR. not-too-late This PR was ready at the point mathlib3 was frozen: we will try to merge it and port it to mathlib4 t-combinatorics Combinatorics
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@YaelDillies @mathlib-dependent-issues-bot @kim-em