feat(*): various lemmas from the sensitivity project #1550
mergify
merged
19 commits into
master
from
sensitivity
feat(*): various lemmas from the sensitivity project
8a354759
fix proof broken by nonterminal simp
2dc671c8
Update src/linear_algebra/dual.lean
fbcee9b4
lint dual.lean
fe0b02b1
remove decidable_mem_of_fintype instance
5fa20d65
dual_lc is invalid simp lemma
f5643cfd
fix namespace
8881bf22
add extra lemma
4dafde84
robertylewis
commented
on 2019-10-15
fix sum_const
9cd2a3e3
remove unnecessary dec_eq assumptions
16ff8f19
remove decidable_eq assumptions
7c148695
document dual.lean
e320ff63
robertylewis
commented
on 2019-10-16
jcommelin
commented
on 2019-10-16
use classical locale
0518cfa1
remove some unnecessary includes
a06c12f5
remove an unused variable
5104c4ea
kim-em
commented
on 2019-10-21
Update src/linear_algebra/dual.lean
b716be8e
fixing a doc comment
92efc496
Merge branch 'sensitivity' of github.com:leanprover-community/mathlib…
96f82dbd
ChrisHughes24
approved these changes
on 2019-10-21
Merge branch 'master' into sensitivity
171cfd21
Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone
Login to write a write a comment.
Login via GitHub