Ioo_eq_filter_ssubsets — Mathlib · SciLib

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

Ioo_eq_filter_ssubsets

Mathlib.Data.Finset.Interval

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

← MathLib Explorer