Theorem ContinuousAffineMap.vadd_toAffineMap

Modification history

2025-09-23 19:02
Mathlib/Analysis/Normed/Affine/ContinuousAffineMap.lean
chore: generalize `ContinuousAffineMap.contLinear` to `IsTopologicalAddTorsor` (#29617)
Modified ContinuousAffineMap.vadd_toAffineMapView on Github →
2025-04-07 02:11
Mathlib/Analysis/Normed/Affine/ContinuousAffineMap.lean
feat(Analysis/Normed/Affine/ContinuousAffineMap): affine space instance (#23735) …
Added ContinuousAffineMap.vadd_toAffineMapView on Github →