WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Tangent space
Revision #1617 → #2656 ·
back to history
modified
Local diffeomorphism and inverse function theorem
16911228210f
Field
From #1617
To #2656
mathlib.decl
LocalDiffeomorphAt.mfderivToContinuousLinearEquiv
IsLocalDiffeomorphAt.mfderivToContinuousLinearEquiv
provenance
ai
ai-moderated