mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

feat(analysis/asymptotics): misc lemmas

Open fpvandoorn opened this issue 3 years ago • 0 comments

  • From the sphere eversion project
  • Needed for computing derivatives of the parametric interval integral

Co-authored by: Patrick Massot [email protected]

Open in Gitpod

fpvandoorn avatar Oct 12 '22 17:10 fpvandoorn