dens_smul_finset — Mathlib · SciLib

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

dens_smul_finset

Mathlib.Algebra.Group.Pointwise.Finset.Density

URI: https://scilib.ai/kg/mathlib#Finset.dens_smul_finset

← MathLib Explorer