Theorem 3.3 (Mader): for $t\le 7$, no $K_t$ minor $\Rightarrow$ $|E|\le (t-2)n-\binom{t-1}{2}$

Initializing...

Theorem 3.3 (Mader): for $t\le 7$, no $K_t$ minor $\Rightarrow$ $|E|\le (t-2)n-\binom{t-1}{2}$ · Prove2Me