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

subtype_equivRange

Mathlib.ModelTheory.Substructures

URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.Embedding.subtype_equivRange

← MathLib Explorer