Theorem AffineMap.lineMap_continuous

Modification history

2025-09-16 17:10

Mathlib/Topology/Algebra/Affine.lean

chore(Topology/Algebra/Affine): generalize to `IsTopologicalAddTorsor` (#29616)

Modified AffineMap.lineMap_continuous View on Github →

2023-03-08 07:00

Mathlib/Topology/Algebra/Affine.lean

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

Added AffineMap.lineMap_continuous View on Github →