Theorem SimpleGraph.Walk.IsTrail.even_countP_edges_iff

Modification history

2023-08-23 00:18
Mathlib/Combinatorics/SimpleGraph/Trails.lean
chore: bump Std (#6721) …
Added SimpleGraph.Walk.IsTrail.even_countP_edges_iffView on Github →