card_le_card_sdiff_add_card — Mathlib · SciLib

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

card_le_card_sdiff_add_card

Mathlib.Data.Finset.Card

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

← MathLib Explorer