affineSpan_intrinsicClosure — Mathlib · SciLib

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

affineSpan_intrinsicClosure

Mathlib.Analysis.Convex.Intrinsic

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

← MathLib Explorer