Theorem AffineMap.continuous_iff

Modification history

2026-03-25 05:05
Mathlib/Topology/Algebra/Affine.lean
chore: remove declarations deprecated between 2021-03-24 and 2025-09-24 (#37118) …
Deleted AffineMap.continuous_iffView on Github →
2025-09-16 17:10
Mathlib/Topology/Algebra/Affine.lean
chore(Topology/Algebra/Affine): generalize to `IsTopologicalAddTorsor` (#29616)
Modified AffineMap.continuous_iffView on Github →
2023-03-08 07:00
Mathlib/Topology/Algebra/Affine.lean
feat: port Topology.Algebra.Affine (#2693)
Added AffineMap.continuous_iffView on Github →