Mathlib v3 is deprecated. Go to Mathlib v4

Theorem maps_to_tangent_cone_pi

Modification history

2021-04-22 10:34
src/analysis/calculus/tangent_cone.lean
refactor(geometry/manifold): redefine some instances (#7124) …
Modified maps_to_tangent_cone_piView on Github →
2021-03-14 00:42
src/analysis/calculus/tangent_cone.lean
feat(analysis/calculus/tangent_cone): add `unique_diff_on.pi` (#6577)
Added maps_to_tangent_cone_piView on Github →