Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-06-09 10:07
1cad7fe1
View on Github →
feat: port Analysis.Calculus.AffineMap (
#4893
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Analysis/Calculus/AffineMap.lean
added
theorem
ContinuousAffineMap.contDiff