Theorem SimpleGraph.Walk.IsTrail.not_mem_edges_of_not_isEdgeReachable_two

Modification history

2026-10-16 07:34
Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean
chore: remove declarations deprecated between 2026-04-01 and 2026-04-15 (#44903) …
Deleted SimpleGraph.Walk.IsTrail.not_mem_edges_of_not_isEdgeReachable_twoView on Github →
2026-01-27 07:48
Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean
feat(Combinatorics/SimpleGraph): more about two-reachability (#33335)
Added SimpleGraph.Walk.IsTrail.not_mem_edges_of_not_isEdgeReachable_twoView on Github →