Theorem SimpleGraph.FarFromTriangleFree.cliqueFinset_nonempty

Modification history

2024-07-28 18:21
Mathlib/Combinatorics/SimpleGraph/Triangle/Basic.lean
chore(Combinatorics): drop some `DecidableEq` assumptions (#15233)
Modified SimpleGraph.FarFromTriangleFree.cliqueFinset_nonemptyView on Github →
2023-02-28 08:27
Mathlib/Combinatorics/SimpleGraph/Triangle/Basic.lean
feat: Port Combinatorics.SimpleGraph.Triangle.Basic (#2494)
Added SimpleGraph.FarFromTriangleFree.cliqueFinset_nonemptyView on Github →