card_compl_lt_iff_nonempty — Mathlib · SciLib

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

card_compl_lt_iff_nonempty

Mathlib.Data.Fintype.Card

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

← MathLib Explorer