card_Ioo_eq_card_Ico_sub_one — Mathlib · SciLib

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

card_Ioo_eq_card_Ico_sub_one

Mathlib.Order.Interval.Multiset

URI: https://scilib.ai/kg/mathlib#Multiset.card_Ioo_eq_card_Ico_sub_one

← MathLib Explorer