subset_symmDiff_union_symmDiff_left — Mathlib · SciLib

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

subset_symmDiff_union_symmDiff_left

Mathlib.Data.Set.SymmDiff

URI: https://scilib.ai/kg/mathlib#Set.subset_symmDiff_union_symmDiff_left

← MathLib Explorer