Theorem SimpleGraph.Walk.isPath_mapLe

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.isPath_mapLe View on Github →