mathlib documentation

combinatorics.simple_graph.ends.properties

Properties of the ends of graphs #

This file is meant to contain results about the ends of (locally finite connected) graphs.

source
@[protected, instance]
def simple_graph.end.is_empty {V : Type} (G : simple_graph V) [finite V] :
is_empty ↥(G.end)