search

leanprover-community / mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4
https://leanprover-community.github.io/lean3
Apache License 2.0
1.67k stars 298 forks source link

feat(combinatorics/simple_graph): Triangle counting #19206

Closed YaelDillies closed 11 months ago

YaelDillies commented 1 year ago

Prove the triangle counting lemma. Definitions that are internal to the proof are made private.

I would like ideas on the lemma names

Open in Gitpod

YaelDillies commented 11 months ago

Ported as leanprover-community/mathlib4#8896.