Zulip Chat Archive
Stream: new members
Topic: Farkas' lemma
jachym simon (Apr 25 2022 at 12:48):
Hi, just wanted to ask whether there is by any chance an implementation the Farkas' lemma in mathlib?
Yaël Dillies (Apr 25 2022 at 12:50):
@Bhavik Mehta, did you prove that for Gordan?
Last updated: Dec 20 2023 at 11:08 UTC