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

coe_toHomeomorphOfFiniteDimensional

Mathlib.Analysis.Normed.Module.FiniteDimension

URI: https://scilib.ai/kg/mathlib#AffineEquiv.coe_toHomeomorphOfFiniteDimensional

← MathLib Explorer