Theorem ContinuousAffineMap.contDiff

Modification history

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 →