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