Def ContinuousLinearMap.toContinuousAffineMap

Modification history

2024-05-16 21:59

Mathlib/Topology/Algebra/ContinuousAffineMap.lean

chore(Topology/Algebra/ContinuousAffineMap): change notation (#12864) …

Modified ContinuousLinearMap.toContinuousAffineMap View on Github →

2023-06-08 07:20

Mathlib/Topology/Algebra/ContinuousAffineMap.lean

feat: port Topology.Algebra.ContinuousAffineMap (#3277)

Added ContinuousLinearMap.toContinuousAffineMap View on Github →