Theorem SimpleGraph.Walk.copy_nil

Modification history

2025-11-07 04:52
Mathlib/Combinatorics/SimpleGraph/Walk.lean
chore(Combinatorics/SimpleGraph/Walk): golf (#30960)
Modified SimpleGraph.Walk.copy_nilView on Github →
2023-03-01 07:31
Mathlib/Combinatorics/SimpleGraph/Connectivity.lean
Port/combinatorics.simple_graph.connectivity (#2514)
Added SimpleGraph.Walk.copy_nilView on Github →