Theorem ContinuousAffineMap.toAffineMap_injective

Modification history

2025-03-01 00:53
Mathlib/Topology/Algebra/ContinuousAffineMap.lean
chore: add `coe` attribute to `ContinuousAffineMap.toAffineMap` (#22410) …
Added ContinuousAffineMap.toAffineMap_injectiveView on Github →