Theorem SimpleGraph.Walk.edgeSet_subset_edgeSet

Modification history

2026-09-15 00:46
Mathlib/Combinatorics/SimpleGraph/Walk/Basic.lean
chore(Combinatorics/SimpleGraph/Trails): golf and cleanup (#41447)
Added SimpleGraph.Walk.edgeSet_subset_edgeSetView on Github →