Def ContinuousAffineMap.toContinuousMap

Modification history

2024-05-16 21:59

Mathlib/Topology/Algebra/ContinuousAffineMap.lean

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

Modified ContinuousAffineMap.toContinuousMap View on Github →

2023-06-08 07:20

Mathlib/Topology/Algebra/ContinuousAffineMap.lean

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

Added ContinuousAffineMap.toContinuousMap View on Github →