mathlib3
feat(combinatorics/graph/multi/basic): Indexed multigraphs
#16100
Open

feat(combinatorics/graph/multi/basic): Indexed multigraphs #16100

YaelDillies wants to merge 3 commits into master from multigraph
YaelDillies
YaelDillies initial commit
2690b920
YaelDillies YaelDillies added awaiting-review
YaelDillies YaelDillies requested a review from kmill kmill 3 years ago
YaelDillies YaelDillies requested a review from b-mehta b-mehta 3 years ago
YaelDillies YaelDillies added t-combinatorics
kmill
kmill commented on 2022-11-24
kmill kmill removed awaiting-review
kmill kmill added awaiting-author
YaelDillies Merge remote-tracking branch 'origin/master' into multigraph
587f6774
YaelDillies YaelDillies requested a review 2 years ago
kim-em kim-em added too-late
YaelDillies save changes
755d2329

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone