exists_smul_mem — Mathlib · SciLib

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

exists_smul_mem

Mathlib.Dynamics.Minimal

URI: https://scilib.ai/kg/mathlib#IsOpen.exists_smul_mem

← MathLib Explorer