Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-08-29 12:31 1ff35858

View on Github →

feat(analysis/calculus/times_cont_diff): adding a lemma (#1358)

  • feat(analysis/calculus/times_cont_diff): adding a lemma
  • doc
  • change k to \bbk

Estimated changes