Commit 2023-10-06 14:17 dd73238e

View on Github →

feat: Rademacher theorem (#7003) We prove Rademacher theorem, stating that a Lipschitz function between finite-dimensional real vector spaces is differentiable almost everywhere.

Estimated changes