∫ Утверждение Mathlib
constants_mem
Mathlib.ModelTheory.Substructures
URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.Substructure.constants_mem
∫ Утверждение Mathlib
Mathlib.ModelTheory.Substructures
URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.Substructure.constants_mem