Def ContinuousAffineMap.id

Modification history

2025-07-19 04:00

Mathlib/Topology/Algebra/ContinuousAffineMap.lean

feat(Topology/Algebra/ContinuousAffineMap): define `id` (#27259) …

Added ContinuousAffineMap.id View on Github →