Theorem ContinuousLinearMap.isInvertible_zero_iff

Modification history

2026-08-13 20:38

Mathlib/Topology/Algebra/Module/ContinuousLinearMap/Invertible.lean

chore: split `ContinuousLinearMap.IsInvertible` to its own file (#42697) …

Modified ContinuousLinearMap.isInvertible_zero_iff View on Github →

2025-02-16 19:46

Mathlib/Topology/Algebra/Module/Equiv.lean

feat: regularity of the pullback of a vector field on a manifold (#20853) …

Added ContinuousLinearMap.isInvertible_zero_iff View on Github →