Edit this page Backlinks This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong. ====== Structural Induction ====== Recall the ADTs defined in the previous lab: * ''Tree'' * ''FIFO'' * ''Map'' Prove the following properties are true, using structural induction: 1. $math[forall t\in \texttt{Tree}. size(t) \geq height(t)]