Theorem SimpleGraph.edist_eq_two_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.edist_eq_two_iffView on Github →