Farkas’ Lemma and Motzkin’s Transposition Theorem

Ralph Bottesch, Max W. Haslbeck, René Thiemann
Archive of Formal Proofs 2019.

abstract   BibTeX    
AFP entry