shatters_shatterer — Mathlib · SciLib

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

shatters_shatterer

Mathlib.Combinatorics.SetFamily.Shatter

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

← MathLib Explorer