Theorem UniqueDiffWithinAt.mono_field

Modification history

2025-11-06 17:28
Mathlib/Analysis/Calculus/TangentCone.lean
chore(TangentCone): split file (#30932) …
Modified UniqueDiffWithinAt.mono_fieldView on Github →
2025-06-27 05:04
Mathlib/Analysis/Calculus/TangentCone.lean
feat: behavior of unique differentiablity under field extension (#26429) …
Added UniqueDiffWithinAt.mono_fieldView on Github →