mathlib3
5ccc9f2d - Fix farkas lemma statement.
Commit
View On GitHub
Commit
3 years ago
Fix farkas lemma statement.
Author
apurvnakade apurvnakade
Parents
99f3f4bb
FAQ Terms Privacy Refunds Impressum
Loading