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