Theorem SimpleGraph.IsEdgeReachable.refl

Modification history

2026-01-06 23:21

Mathlib/Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity.lean

chore(Combinatorics/SimpleGraph/Connectivity/EdgeConnectivity): rename `.rfl` to `.refl` (#33673) …

Added SimpleGraph.IsEdgeReachable.refl View on Github →