Theorem ContinuousAffineMap.vsub_apply

Modification history

2025-09-23 19:02

Mathlib/Analysis/Normed/Affine/ContinuousAffineMap.lean

chore: generalize `ContinuousAffineMap.contLinear` to `IsTopologicalAddTorsor` (#29617)

Modified ContinuousAffineMap.vsub_apply View on Github →

2025-04-07 02:11

Mathlib/Analysis/Normed/Affine/ContinuousAffineMap.lean

feat(Analysis/Normed/Affine/ContinuousAffineMap): affine space instance (#23735) …

Added ContinuousAffineMap.vsub_apply View on Github →