Theorem ContinuousAffineMap.id_comp

Modification history

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