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

inclusion_self

Mathlib.ModelTheory.Substructures

URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.Substructure.inclusion_self

← MathLib Explorer