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.

@[protected, instance]