Discrete-math 23

Forest definition

Tree definition

Leaf definition

---

Leaves of a tree lemma

---

Paths between vertices lemma

---

Properties of the tree theorem

---

Number of edges in a tree theorem

---