∫ Утверждение Mathlib
ker_mfderiv_eq_bot
Mathlib.Geometry.Manifold.MFDeriv.Atlas
URI: https://scilib.ai/kg/mathlib#OpenPartialHomeomorph.MDifferentiable.ker_mfderiv_eq_bot
∫ Утверждение Mathlib
Mathlib.Geometry.Manifold.MFDeriv.Atlas
URI: https://scilib.ai/kg/mathlib#OpenPartialHomeomorph.MDifferentiable.ker_mfderiv_eq_bot