Def SimpleGraph.center

Modification history

2025-04-19 03:18

Mathlib/Combinatorics/SimpleGraph/Diam.lean

feat(SimpleGraph): eccentricity, radius, and center (#23932) …

Added SimpleGraph.center View on Github →