mathlib3
[Merged by Bors] - feat(combinatorics/simple_graph): More clique lemmas
#19203
Closed
Overview
Commits
12
Changes
View On GitHub
Commits
  • feat(combinatorics/simple_graph): More clique lemmas
    YaelDillies committed 3 years ago
  • simple graph map lemmas
    YaelDillies committed 3 years ago
  • fix combinatorics.simple_graph.basic
    YaelDillies committed 3 years ago
  • fix combinatorics.simple_graph.triangle.basic
    YaelDillies committed 3 years ago
  • fix lint
    YaelDillies committed 3 years ago
  • fix
    YaelDillies committed 3 years ago
  • break long line
    YaelDillies committed 3 years ago
  • generalise clique_set_map
    YaelDillies committed 2 years ago
  • merge 0 and n + 2 cases
    YaelDillies committed 2 years ago
  • Merge remote-tracking branch 'origin/master' into card_clique_finset_le
    YaelDillies committed 2 years ago
  • clique_free_on
    YaelDillies committed 2 years ago
  • fix simp_nf
    YaelDillies committed 2 years ago
FAQ Terms Privacy Refunds Impressum
Loading