Theorem ContinuousAffineMap.norm_eq

Modification history

2023-06-09 09:11

Mathlib/Analysis/NormedSpace/ContinuousAffineMap.lean

feat: port Analysis.NormedSpace.ContinuousAffineMap (#4867)

Added ContinuousAffineMap.norm_eq View on Github →