Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tangent_bundle.coe_chart_at_symm_fst

Modification history