mathlib3
feat(combinatorics/graph/multi/basic): Indexed multigraphs
#16100
Open
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Overview
Commits
3
Changes
View On
GitHub
feat(combinatorics/graph/multi/basic): Indexed multigraphs
#16100
YaelDillies
wants to merge 3 commits into
master
from
multigraph
initial commit
2690b920
YaelDillies
added
awaiting-review
YaelDillies
requested a review
from
kmill
3 years ago
YaelDillies
requested a review
from
b-mehta
3 years ago
YaelDillies
added
t-combinatorics
kmill
commented on 2022-11-24
kmill
removed
awaiting-review
kmill
added
awaiting-author
Merge remote-tracking branch 'origin/master' into multigraph
587f6774
YaelDillies
requested a review
2 years ago
kim-em
added
too-late
save changes
755d2329
Login to write a write a comment.
Login via GitHub
Reviewers
agusakov
kmill
b-mehta
Assignees
No one assigned
Labels
awaiting-author
t-combinatorics
too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub