Theorem SimpleGraph.TripartiteFromTriangles.graph_triple

Modification history

2025-05-14 16:58
Mathlib/Combinatorics/SimpleGraph/Triangle/Tripartite.lean
style: fix bad tactic indentation (#24890)
Modified SimpleGraph.TripartiteFromTriangles.graph_tripleView on Github →
2024-05-07 07:06
Mathlib/Combinatorics/SimpleGraph/Triangle/Tripartite.lean
feat: Construct a tripartite graph from its triangles (#12570) …
Added SimpleGraph.TripartiteFromTriangles.graph_tripleView on Github →