Theorem SimpleGraph.two_lt_edist_iff

Modification history

2026-03-22 13:02
Mathlib/Combinatorics/SimpleGraph/Metric.lean
feat(SimpleGraph): distance equal or greater than two in terms of common neighborhood (#35657) …
Added SimpleGraph.two_lt_edist_iffView on Github →