connectivity): Connectivity is a graph property (#14865)

Commit

3 years ago

feat(combinatorics/simple_graph/connectivity): Connectivity is a graph property (#14865) `simple_graph.preconnected` and `simple_graph.connected` are preserved under graph isomorphisms.

Author

YaelDillies

Parents

f3cd150b

mathlib 61b837fb - feat(combinatorics/simple_graph/connectivity): Connectivity is a graph property (#14865)

mathlib
61b837fb - feat(combinatorics/simple_graph/connectivity): Connectivity is a graph property (#14865)