Theorem Graph.noEdge_isLink

Modification history

2026-05-29 13:23
Mathlib/Combinatorics/Graph/Basic.lean
chore: bump toolchain to v4.31.0-rc1 (#39980)
Added Graph.noEdge_isLinkView on Github →