Theorem SimpleGraph.Walk.isCycle_map_iff_of_injective

Modification history

2026-07-03 01:54
Mathlib/Combinatorics/SimpleGraph/Paths.lean
feat(Combinatorics/SimpleGraph/Paths): `Walk.map` preserves more properties (#38531) …
Added SimpleGraph.Walk.isCycle_map_iff_of_injectiveView on Github →