Theorem TangentBundle.trivializationAt_continuousLinearMapAt
Modification history
2025-07-04 16:21
Mathlib/Geometry/Manifold/VectorBundle/Tangent.lean
feat: more API on manifolds (#26501)
Deleted TangentBundle.trivializationAt_continuousLinearMapAtView on Github →