Displaying similar documents to “Generalized Brauer tree orders”

Helly Property for Subtrees

Jessica Enright, Piotr Rudnicki (2008)

Formalized Mathematics

Similarity:

We prove, following [5, p. 92], that any family of subtrees of a finite tree satisfies the Helly property.MML identifier: HELLY, version: 7.8.09 4.97.1001