∫ Утверждение Mathlib
snd_reverse
Mathlib.Combinatorics.SimpleGraph.Walk
URI: https://scilib.ai/kg/mathlib#SimpleGraph.Walk.snd_reverse
∫ Утверждение Mathlib
Mathlib.Combinatorics.SimpleGraph.Walk
URI: https://scilib.ai/kg/mathlib#SimpleGraph.Walk.snd_reverse