∫ Утверждение Mathlib
setValue_eq_of_ne
Mathlib.Logic.Embedding.Basic
URI: https://scilib.ai/kg/mathlib#Function.Embedding.setValue_eq_of_ne
∫ Утверждение Mathlib
Mathlib.Logic.Embedding.Basic
URI: https://scilib.ai/kg/mathlib#Function.Embedding.setValue_eq_of_ne