mathlib3
feat(combinatorics/simple_graph): Triangle counting
#19206

Closed

feat(combinatorics/simple_graph): Triangle counting #19206

YaelDillies wants to merge 4 commits into master from triangle_counting

feat(combinatorics/simple_graph): Triangle counting

85d2e43e

reduced graph

76bf439e

YaelDillies requested a review 2 years ago

YaelDillies added RFC

YaelDillies added awaiting-review

YaelDillies added t-combinatorics

github-actions added modifies-synchronized-file

fix lint

e23c6244

fix lint

beadee1c

eric-wieser added not-too-late

YaelDillies closed this 2 years ago

YaelDillies deleted the triangle_counting branch 2 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

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

Milestone

No milestone