Commit 2025-08-27 21:39 31e0a32e
View on Github →feat: lemmas about iterated derivatives within real intervals (#29024) This lemmas can presumably be generalized in various directions. If anyone would like to do so, that's great, just make sure these specializations are still readily available. :-)