Theorem TangentBundle.continuousLinearMapAt_trivializationAt_eq_core

Modification history

2025-07-04 16:21
Mathlib/Geometry/Manifold/VectorBundle/Tangent.lean
feat: more API on manifolds (#26501)
Added TangentBundle.continuousLinearMapAt_trivializationAt_eq_coreView on Github →