Theorem ContinuousLinearMap.leftInverse_of_comp

Modification history

2025-05-08 20:56
Mathlib/Topology/Algebra/Module/LinearMap.lean
feat: differential of a local diffeomorphism is a continuous linear equivalence (#8738) …
Added ContinuousLinearMap.leftInverse_of_compView on Github →