val_codRestrict_apply — Mathlib · SciLib

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

val_codRestrict_apply

Mathlib.Data.Set.Restrict

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

← MathLib Explorer