Theorem uniqueDiffWithinAt_Iic

Modification history

2025-11-06 17:28

Mathlib/Analysis/Calculus/TangentCone.lean

chore(TangentCone): split file (#30932) …

Modified uniqueDiffWithinAt_Iic View on Github →

2025-07-11 15:56

Mathlib/Analysis/Calculus/TangentCone.lean

feat(Analysis/Calculus/TangentCone): add results about uniqueDiff (#26993) …

Added uniqueDiffWithinAt_Iic View on Github →