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