Keyword: loomis

Lemma Base Case of Loomis Induction proved

Lemma Column-Drop Step of Loomis Induction proved

Proof plan Direct Induction Proof Of Loomis Theorem formalized

Lemma Existence of Loomis Optimisers proved

Theorem Loomis Theorem (Positive B) proved

Proof plan Minimax via the All-Ones Specialization of Loomis formalized

Lemma Positive Aggregates xB and By proved

Lemma Row-Drop Step of Loomis Induction proved

Lemma Weak Duality For Loomis Values proved