subset_iff — Mathlib · SciLib

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

subset_iff

Mathlib.Combinatorics.SetFamily.Shatter

URI: https://scilib.ai/kg/mathlib#Finset.Shatters.subset_iff

← MathLib Explorer