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