Theorem SimpleGraph.center_eq_univ_iff_radius_eq_ediam

Modification history

2025-04-19 03:18
Mathlib/Combinatorics/SimpleGraph/Diam.lean
feat(SimpleGraph): eccentricity, radius, and center (#23932) …
Added SimpleGraph.center_eq_univ_iff_radius_eq_ediamView on Github →