Theorem SimpleGraph.connected_iff_diam_ne_zero

Modification history

2025-04-28 14:19
Mathlib/Combinatorics/SimpleGraph/Diam.lean
chore(*): fix some Fintype/Finite assumptions (#24424) …
Modified SimpleGraph.connected_iff_diam_ne_zeroView on Github →
2025-03-28 02:52
Mathlib/Combinatorics/SimpleGraph/Diam.lean
feat(Combinatorics/SimpleGraph/Diam): add basic (e)diam facts (#23264) …
Added SimpleGraph.connected_iff_diam_ne_zeroView on Github →