Commit 2023-07-15 07:48 0c329961

feat(Analysis.Calculus.ContDiffDef): support of iterated derivative (#5915) We already had that the iterated derivative of a compactly supported function is compactly supported, this just makes it a bit more precise by iterating support_fderiv_subset.