mathlib3
feat(analysis/normed_space/deriv): more material on derivatives
#966
Merged
Merged
feat(analysis/normed_space/deriv): more material on derivatives #966
mergify
merged
14 commits into
leanprover-community:master
from
sgouezel:better_deriv
feat(analysis/normed_space/deriv): more material on derivatives
41cdebbc
feat(analysis/normed_space/deriv): minor improvements
4bb0ef5d
feat(analysis/normed_space/deriv) rename fderiv_at_within to fderiv_w…
8bbcfce2
feat(analysis/normed_space/deriv): more systematic renaming
31854176
Merge branch 'master' into better_deriv
b9b3bda2
feat(analysis/normed_space/deriv): fix style
6b057acf
modify travis.yml as advised by Simon Hudon
856a0106
Merge branch 'master' into better_deriv
f41f3afe
fix travis.yml, second try
892d6f61
Merge branch 'better_deriv' of https://github.com/sgouezel/mathlib in…
29485524
feat(analysis/normed_space/deriv): add two missing lemmas
bb586b70
avigad
dismissed these changes
on 2019-05-13
Merge branch 'master' into better_deriv
d8ecbbc2
jcommelin
dismissed these changes
on 2019-05-14
Merge branch 'master' into better_deriv
96ae8db6
robertylewis
approved these changes
on 2019-05-14
Merge branch 'master' into 'better_deriv'
97337042
Login to write a write a comment.
Reviewers
Assignees
Labels
ready-to-merge
Milestone
No milestone