Theorem SimpleGraph.diam_eq_zero_iff_ediam_eq_top

Modification history

2025-03-28 02:52

Mathlib/Combinatorics/SimpleGraph/Diam.lean

feat(Combinatorics/SimpleGraph/Diam): add basic (e)diam facts (#23264) …

Added SimpleGraph.diam_eq_zero_iff_ediam_eq_top View on Github →