mathlib3
[Merged by Bors] - feat(combinatorics/simple_graph): More clique lemmas
#19203
Closed
Closed
[Merged by Bors] - feat(combinatorics/simple_graph): More clique lemmas #19203
YaelDillies
wants to merge
12 commits into
master
from
card_clique_finset_le
feat(combinatorics/simple_graph): More clique lemmas
eb239452
simple graph map lemmas
24dd7715
fix combinatorics.simple_graph.basic
7a494ce7
fix combinatorics.simple_graph.triangle.basic
0ff8edf8
fix lint
50b24ffa
fix
71a69755
break long line
f07a60b6
eric-wieser
commented
on 2023-07-12
eric-wieser
commented
on 2023-07-12
eric-wieser
commented
on 2023-07-12
eric-wieser
commented
on 2023-07-12
eric-wieser
commented
on 2023-07-12
eric-wieser
commented
on 2023-07-12
eric-wieser
approved these changes
on 2023-07-12
generalise clique_set_map
38bd200e
eric-wieser
commented
on 2023-07-14
kmill
approved these changes
on 2023-07-14
merge 0 and n + 2 cases
5e373e93
Merge remote-tracking branch 'origin/master' into card_clique_finset_le
adac2e92
clique_free_on
bce945aa
fix simp_nf
082e99c0
b-mehta
approved these changes
on 2023-10-22
bors
changed the title Reviewers
Assignees
No one assigned
Labels
ready-to-merge
t-combinatorics
modifies-synchronized-file
not-too-late
Milestone
No milestone
Login to write a write a comment.
Login via GitHub