mathlib3

feat(combinatorics/simple_graph): Triangle counting

#19206

Closed