filter_empty — Mathlib · SciLib

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

filter_empty

Mathlib.Data.Finset.Filter

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

← MathLib Explorer