card_compl — Mathlib · SciLib

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

card_compl

Mathlib.Data.Fintype.Card

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

← MathLib Explorer