Commit 2020-12-19 16:17 c55721d6
View on Github →chore(analysis/calculus/{fderiv,deriv}): f x ≠ f a for x ≈ a, x ≠ a if ∥z∥ ≤ C * ∥f' z∥ (#5420)
chore(analysis/calculus/{fderiv,deriv}): f x ≠ f a for x ≈ a, x ≠ a if ∥z∥ ≤ C * ∥f' z∥ (#5420)