contMDiff_fst — Mathlib · SciLib

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

contMDiff_fst

Mathlib.Geometry.Manifold.ContMDiff.Constructions

URI: https://scilib.ai/kg/mathlib#contMDiff_fst

← MathLib Explorer