encard_coe_eq_coe_finsetCard — Mathlib · SciLib

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

encard_coe_eq_coe_finsetCard

Mathlib.Data.Set.Card

URI: https://scilib.ai/kg/mathlib#Set.encard_coe_eq_coe_finsetCard

← MathLib Explorer