connectivity) `map_le` and injective maps preserve and reflect trails, cycles, and paths (#17402)

Commit

3 years ago

feat(combinatorics/simple_graph/connectivity) `map_le` and injective maps preserve and reflect trails, cycles, and paths (#17402) Co-authored-by: bottine <bottine@users.noreply.github.com>

Author

bottine

Parents

072c8ce8

mathlib 866527d9 - feat(combinatorics/simple_graph/connectivity) `map_le` and injective maps preserve and reflect trails, cycles, and paths (#17402)

mathlib
866527d9 - feat(combinatorics/simple_graph/connectivity) `map_le` and injective maps preserve and reflect trails, cycles, and paths (#17402)