Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.edgeFinset_eq_empty
Modification history
2024-09-30 17:40
Mathlib/Combinatorics/SimpleGraph/Finite.lean
feat: `Disjoint G₁.edgeFinset G₂.edgeFinset ↔ Disjoint G₁ G₂` (#17286) …
Added
SimpleGraph.edgeFinset_eq_empty
View on Github →