Commit 2025-11-07 04:52 df9f011f

View on Github →

chore(Combinatorics/SimpleGraph/Walk): golf (#30960)

Estimated changes

Modified Mathlib/Combinatorics/SimpleGraph/Walk.lean

modified theorem SimpleGraph.Walk.copy_nil

modified theorem SimpleGraph.Walk.exists_length_eq_zero_iff