restrict_eq_restrict_iff — Mathlib · SciLib

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

restrict_eq_restrict_iff

Mathlib.Data.Set.Restrict

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

← MathLib Explorer