Theorem ContinuousAffineMap.coe_id

Modification history

2025-07-19 04:00
Mathlib/Topology/Algebra/ContinuousAffineMap.lean
feat(Topology/Algebra/ContinuousAffineMap): define `id` (#27259) …
Added ContinuousAffineMap.coe_idView on Github →