Theorem SimpleGraph.Walk.isCircuit_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.isCircuit_map_iff_of_injective View on Github →