subset_singleton_iff' — Mathlib · SciLib

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

subset_singleton_iff'

Mathlib.Data.Finset.Insert

URI: https://scilib.ai/kg/mathlib#Finset.subset_singleton_iff'

← MathLib Explorer