Commit 2025-07-11 15:56 a162410a

View on Github →

feat(Analysis/Calculus/TangentCone): add results about uniqueDiff (#26993) Split from #26992

Estimated changes

added theorem uniqueDiffWithinAt_Ici
added theorem uniqueDiffWithinAt_Iic