encard_diff_singleton_add_one — Mathlib · SciLib

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

encard_diff_singleton_add_one

Mathlib.Data.Set.Card

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

← MathLib Explorer