continuousAt_extend — Mathlib · SciLib

∫ Утверждение Mathlib

continuousAt_extend

Mathlib.Geometry.Manifold.IsManifold.ExtChartAt

URI: https://scilib.ai/kg/mathlib#OpenPartialHomeomorph.continuousAt_extend

← MathLib Explorer