Theorem ContinuousAffineMap.prodMap_contLinear

Modification history

2025-09-23 19:02
Mathlib/Analysis/Normed/Affine/ContinuousAffineMap.lean
chore: generalize `ContinuousAffineMap.contLinear` to `IsTopologicalAddTorsor` (#29617)
Modified ContinuousAffineMap.prodMap_contLinearView on Github →
2025-08-30 09:10
Mathlib/Analysis/Normed/Affine/ContinuousAffineMap.lean
feat: products of affine maps (#28662) …
Added ContinuousAffineMap.prodMap_contLinearView on Github →