Skip to content

Commit

Permalink
feat(analysis/calculus/deriv): define has_strict_deriv_at (#2524)
Browse files Browse the repository at this point in the history 
Also make more proofs explicitly use their `has_fderiv*` counterparts
and mark some lemmas in `fderiv` as `protected`.
  • Loading branch information
@urkud
urkud committed Apr 26, 2020
1 parent 21b7292 commit 11ccc1b
Show file tree
Hide file tree
Showing 4 changed files with 204 additions and 122 deletions.

0 comments on commit 11ccc1b

Please sign in to comment.