Mathlib Changelog
v4
Changelog
About
Github
Theorem
DiffContOnCl.differentiableAt'
Modification history
2023-08-06 01:46
Mathlib/Analysis/Calculus/DiffContOnCl.lean
chore: tidy various files (#6382)
Added
DiffContOnCl.differentiableAt'
View on Github →