mathlib3 documentation

combinatorics.simple_graph.ends.properties

Properties of the ends of graphs #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.

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)