ssubset_iff_of_subset — Mathlib · SciLib

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

ssubset_iff_of_subset

Mathlib.Data.Finset.Defs

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

← MathLib Explorer