Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.exists_girth_eq_length
Modification history
2023-09-04 20:25
Mathlib/Combinatorics/SimpleGraph/Girth.lean
feat: Girth of a simple graph (#6948) …
Added
SimpleGraph.exists_girth_eq_length
View on Github →