∫ Утверждение Mathlib
Mathlib.Data.Fintype.EquivFin
URI: https://scilib.ai/kg/mathlib#Fintype.one_lt_card_iff
← MathLib Explorer