Structural Induction

Recall the ADTs defined in the previous lab:

• Tree
• FIFO
• Map

Prove the following properties are true, using structural induction:

1. $ \forall t\in \texttt{Tree}. size(t) \geq height(t)$

2. $ \forall t \in \texttt{Tree}. flatten(mirror(t)) = reverse(flatten(t))$

Find a proper formulation and prove the following properties