Theorem SimpleGraph.exists_eccent_eq_radius

Modification history

2025-12-19 07:43
Mathlib/Combinatorics/SimpleGraph/Diam.lean
chore(Combinatorics): fix whitespace (#32929)
Modified SimpleGraph.exists_eccent_eq_radiusView on Github →
2025-04-19 03:18
Mathlib/Combinatorics/SimpleGraph/Diam.lean
feat(SimpleGraph): eccentricity, radius, and center (#23932) …
Added SimpleGraph.exists_eccent_eq_radiusView on Github →