Properties of the ends of graphs #
This file is meant to contain results about the ends of (locally finite connected) graphs.
@[protected, instance]
combinatorics.simple_graph.ends.properties
This file is meant to contain results about the ends of (locally finite connected) graphs.