leanprover-community/mathlib

Pull Requests Commits
Add convex_cone.has_add
apurvnakade committed 3 years ago
02aac285
Typo
apurvnakade committed 3 years ago
995e319a
Clear sorry
apurvnakade committed 3 years ago
9a449116
add definitions
apurvnakade committed 3 years ago
00cab29f
Fix lint errors
apurvnakade committed 3 years ago
6b5ff662
refactor
apurvnakade committed 3 years ago
46a0210a
fix lint errors
apurvnakade committed 3 years ago
0f98fca7
Clear all sorrys
apurvnakade committed 3 years ago
101b5da5
almost complete proof
apurvnakade committed 3 years ago
4fc935e4
one direction of farkas lemma
apurvnakade committed 3 years ago
e3d7e7f4
fix rename
apurvnakade committed 3 years ago
65b1d922
Extend API
apurvnakade committed 3 years ago
746a3e1b
Fix farkas lemma statement.
apurvnakade committed 3 years ago
5ccc9f2d
Cleanup
apurvnakade committed 3 years ago
99f3f4bb
Add statement of farkas_lemma
apurvnakade committed 3 years ago
0106815a
Fix cyclic imports
apurvnakade committed 3 years ago
89ab06ca
Import issues locally. Testing on mathlib.
apurvnakade committed 3 years ago
2585bc8d
Add map.
apurvnakade committed 3 years ago
c4c071ac
Define comap.
apurvnakade committed 3 years ago
4d2f505e
Define proper cones
apurvnakade committed 3 years ago
402b1c48
Finally, fix coe errors using set_like
apurvnakade committed 3 years ago
8022b489
Trying coe fix.
apurvnakade committed 3 years ago
4e45414e
Apply suggestions from code review
apurvnakade committed 3 years ago
Verified 0c62fa1a
Minor rename.
apurvnakade committed 3 years ago
fe858344
Fix mem_coe -> coe_mem
apurvnakade committed 3 years ago
66e04185
Move has_zero to previous section.
apurvnakade committed 3 years ago
d7fe1420
Fix lint.
apurvnakade committed 3 years ago
f9297b97
Remove duplicates from merging
apurvnakade committed 3 years ago
73c66590
Merge branch 'master' into apurva/dual-of-dual
apurvnakade committed 3 years ago
e3203274
Remove small redundancy
apurvnakade committed 3 years ago
85e1aae0
Terms Of Use Privacy Policy Refund Policy Impressum