Keyword: linear-algebra

Theorem Farkas Lemma proved

Lemma Fourier-Motzkin Elimination Step proved

Theorem Perron-Frobenius For Positive Matrices proved

Theorem Theorem Of The Alternative proved