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.

@[protected, instance]