restrict₂_comp_restrict — Mathlib · SciLib

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

restrict₂_comp_restrict

Mathlib.Data.Set.Restrict

URI: https://scilib.ai/kg/mathlib#Set.restrict₂_comp_restrict

← MathLib Explorer