Theorem SimpleGraph.IsEdgeReachable.rfl

Modification history

2026-01-06 23:21
Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean
chore(Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity): rename `.rfl` to `.refl` (#33673) …
Deleted SimpleGraph.IsEdgeReachable.rflView on Github →
2025-12-26 18:30
Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean
feat(Combinatorics/SimpleGraph): define edge-connectivity (#32870) …
Added SimpleGraph.IsEdgeReachable.rflView on Github →