card_strictMono — Mathlib · SciLib

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

card_strictMono

Mathlib.Data.Finset.Card

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

← MathLib Explorer