Theorem ContinuousAffineMap.contDiff

Modification history

2024-11-25 11:42
Mathlib/Analysis/Calculus/AddTorsor/AffineMap.lean
feat: extend `ContDiff` to take a smoothness exponent in `WithTop ℕ∞` (#19442) …
Modified ContinuousAffineMap.contDiffView on Github →
2024-05-16 21:59
Mathlib/Analysis/Calculus/AffineMap.lean
chore(Topology/Algebra/ContinuousAffineMap): change notation (#12864) …
Modified ContinuousAffineMap.contDiffView on Github →
2023-06-09 10:07
Mathlib/Analysis/Calculus/AffineMap.lean
feat: port Analysis.Calculus.AffineMap (#4893)
Added ContinuousAffineMap.contDiffView on Github →