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