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