Commit 2023-03-08 07:00 b635e063

View on Github →

feat: port Topology.Algebra.Affine (#2693)

Estimated changes

Modified Mathlib.lean

Created Mathlib/Topology/Algebra/Affine.lean

added theorem AffineMap.continuous_iff

added theorem AffineMap.homothety_continuous

added theorem AffineMap.homothety_isOpenMap

added theorem AffineMap.lineMap_continuous